A Function Elimination Method for Checking Satisfiability of Arithmetical Logics
From MaRDI portal
Publication:2968852
DOI10.3233/FI-2016-1303zbMath1403.03048MaRDI QIDQ2968852
Valentina Castiglioni, Simone Tini, Ruggero Lanotte
Publication date: 22 March 2017
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.3233/fi-2016-1303
03B70: Logic in computer science
03B10: Classical first-order logic
03B25: Decidability of theories and sets of sentences
03F30: First-order arithmetic and fragments
03C10: Quantifier elimination, model completeness, and related topics