A compiler for conditional term rewriting systems

This publication has 9 references indexed in Scilit:

• A prolog technology theorem prover: Implementation by an extended prolog compiler
  Published by Springer Nature ,1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• ASSPEGIQUE: An integrated environment for algebraic specifications
  Published by Springer Nature ,1985
• Compiling pattern matching
  Lecture Notes in Computer Science, 1985
• Conditional rewrite rules
  Theoretical Computer Science, 1984
• Logic programming and compiler writing
  Software: Practice and Experience, 1980
• HOPE
  Published by Association for Computing Machinery (ACM) ,1980
• Equations and Rewrite Rules: A Survey
  Published by Elsevier ,1980
• Conflunt reductions: Abstract properties and applications to term rewriting systems
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1977