Automated Deduction – CADE-20
From MaRDI portal
Publication:5394628
DOI10.1007/11532231zbMath1135.03327OpenAlexW2485416161MaRDI QIDQ5394628
Christian G. Fermüller, Reinhard Pichler
Publication date: 1 November 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11532231
Mechanization of proofs and logical operations (03B35) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17)
Related Items (4)
The model evolution calculus as a first-order DPLL method ⋮ System Description: SPASS-FD ⋮ Constructing infinite models represented by tree automata ⋮ Automated Model Building: From Finite to Infinite Models
Uses Software
This page was built for publication: Automated Deduction – CADE-20