Disunification for Ultimately Periodic Interpretations

DOI10.1007/978-3-642-17511-4_17zbMath1310.68123OpenAlexW1534543613MaRDI QIDQ3066105

Matthias Horbach

Publication date: 7 January 2011

Published in: Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-17511-4_17

Mathematics Subject Classification ID

Logic in computer science (03B70) Grammars and rewriting systems (68Q42)

Related Items (2)

Predicate Completion for non-Horn Clause Sets ⋮ System Description: SPASS-FD

This page was built for publication: Disunification for Ultimately Periodic Interpretations