Knuth-bendix completion of horn clause programs for restricted linear resolution and paramodulation

DOI10.1007/3-540-54317-1_90MaRDI QIDQ5881277

Hubert Bertling

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_90

Mathematics Subject Classification ID

68Q42: Grammars and rewriting systems

68N30: Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)

Related Items

Order-sorted completion: The many-sorted way