Skip to content

Declarative modeling of finite mathematics.

Paul Tarau

VenueCPPDP
Year2010
ProceedingsPPDP

Browse the full PPDP paper archive.