Specification and proof in membership equational logic

This publication has 20 references indexed in Scilit:

• Operational semantics for order-sorted algebra
  Published by Springer Nature ,2005
• Automated Theorem Proving by Test Set Induction
  Journal of Symbolic Computation, 1997
• Principles of Maude
  Electronic Notes in Theoretical Computer Science, 1996
• Tree Automata Help One To Solve Equational Formulae In AC-Theories
  Journal of Symbolic Computation, 1994
• Equational Formulas with Membership Constraints
  Information and Computation, 1994
• Order-sorted algebra I: equational deduction for multiple inheritance, overloading, exceptions and partial operations
  Theoretical Computer Science, 1992
• Programming with equalities, subsorts, overloading, and parametrization in OBJ
  The Journal of Logic Programming, 1992
• A rationale for conditional equational programming
  Theoretical Computer Science, 1990
• Inductive proofs by specification transformations
  Published by Springer Nature ,1989
• Conditional rewrite rules
  Theoretical Computer Science, 1984