Conditional rewriting in focus

This publication has 11 references indexed in Scilit:

• Axiomatization of a functional logic language
  Published by Springer Nature ,1990
• Term rewriting induction
  Published by Springer Nature ,1990
• Proof normalization for resolution and paramodulation
  Published by Springer Nature ,1989
• Rewriting techniques for program synthesis
  Published by Springer Nature ,1989
• Transformational derivation of programs using the focus system
  Published by Association for Computing Machinery (ACM) ,1988
• Simplifying conditional term rewriting systems : Unification, termination and confluence
  Journal of Symbolic Computation, 1987
• A new method for establishing refutational completeness in theorem proving
  Published by Springer Nature ,1986
• A Strong restriction of the inductive completion procedure
  Lecture Notes in Computer Science, 1986
• Proof by induction using test sets
  Published by Springer Nature ,1986
• Orderings for term-rewriting systems
  Theoretical Computer Science, 1982