Constrained equational deduction

DOI10.1007/3-540-54317-1_111OpenAlexW1512026733MaRDI QIDQ5881303

Yi Ke Guo, John Darlington

Publication date: 9 March 2023

Published in: Conditional and Typed Rewriting Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-54317-1_111

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Grammars and rewriting systems (68Q42) Logic programming (68N17) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Operationally-based program equivalence proofs using LCTRSs

Cites Work

• Replacing unification by constraint satisfaction to improve logic program expressiveness
• Conditional rewrite rules
• Foundations of equational logic programming
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Constrained equational deduction