An inference system for horn clause logic with equality

DOI10.1007/3-540-54317-1_114OpenAlexW2273885991MaRDI QIDQ5881306

No author found.

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_114

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Logic programming (68N17) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Goal directed strategies for paramodulation

Cites Work

• Complete sets of transformations for general E-unification

This page was built for publication: An inference system for horn clause logic with equality