Login / Signup
A canonical form for some piecewise defined functions
Jacques Carette
Published in:
CoRR (2007)
Keyphrases
</>
canonical form
rewrite rules
database