scientific article; zbMATH DE number 1507182

zbMath0966.03011MaRDI QIDQ4503902

Alexander Leitsch

Publication date: 14 September 2000

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

theorem provingmodel buildingresolution methoddecision proceduresinference systemsextension of clause syntax via equational constraints

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Mechanization of proofs and logical operations (03B35)

Related Items (2)

Tree tuple languages from the logic programming point of view ⋮ Manipulating Tree Tuple Languages by Transforming Logic Programs1 1Extended abstract; see http://www.logic.at/css/ftp03.pdf for the proofs.

This page was built for publication: