Proving and rewriting

This publication has 14 references indexed in Scilit:

• Principles of parameterized programming
  Published by Association for Computing Machinery (ACM) ,1989
• What Is Unification?
  Published by Elsevier ,1989
• OBJ as a Theorem Prover with Applications to Hardware Verification
  Published by Springer Nature ,1989
• An introduction to OBJ 3
  Published by Springer Nature ,1988
• Inductive methods for reasoning about abstract data types
  Published by Association for Computing Machinery (ACM) ,1988
• A study in the foundations of programming methodology: Specifications, institutions, charters and parchments
  Published by Springer Nature ,1986
• Principles of OBJ2
  Published by Association for Computing Machinery (ACM) ,1985
• Algebras, Theories and Freeness: An Introduction for Computer Scientists
  Published by Springer Nature ,1982
• How to prove algebraic inductive hypotheses without induction
  Published by Springer Nature ,1980
• Proving Properties of Programs by Structural Induction
  The Computer Journal, 1969