LATIN 2004: Theoretical Informatics

DOI10.1007/B95852zbMath1196.03045OpenAlexW2475444492MaRDI QIDQ5901672

Hans Zantema, Olga Tveretina

Publication date: 7 May 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/b95852

zbMATH Keywords

resolutionsatisfiabilityequality logic

Mathematics Subject Classification ID

Logic in computer science (03B70) Mechanization of proofs and logical operations (03B35) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Related Items (1)

Transforming equality logic to propositional logic

This page was built for publication: LATIN 2004: Theoretical Informatics