Automated Deduction – CADE-20
From MaRDI portal
Publication:5394628
DOI10.1007/11532231zbMath1135.03327MaRDI 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
03B35: Mechanization of proofs and logical operations
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)
Related Items
System Description: SPASS-FD, Automated Model Building: From Finite to Infinite Models, Constructing infinite models represented by tree automata, The model evolution calculus as a first-order DPLL method
Uses Software