by Jean-Pierre Jouannaud
No reviews yet. Be the first!
Functional Programming Languages and Com...
Algebra, meaning, and computation
Term rewriting
Conditional Term Rewriting Systems
Certified Programs and Proofs
Conditional term rewriting systems
CafeOBJ report
Applications of graph transformations wi...
Rewriting techniques and applications
Translating relationalqueries into itera...
Foundations of software technology and t...
Automata, languages and programming