Promoting Rewriting to a Programming Language: A Compiler for Non-Deterministic Rewrite Programs in Associative-Commutative Theories (2001)

View PDF

Download Links

by Hélène Kirchner , Pierre-Etienne Moreau
Citations:38 - 6 self