Computer experiments with the REVE term rewriting system generator

• 1 January 1983
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 99-108
• https://doi.org/10.1145/567067.567078

Abstract

Keywords

• ABSTRACT DATA TYPES
• EQUATIONAL THEORIES
• INDUCTION
• PROGRAM VERIFIER
• TERM REWRITING SYSTEMS
• TERMINATION
• THEOREM PROVER
• WORD PROBLEM