Completeness and Decidability Results for First-Order Clauses with Indices

DOI10.1007/978-3-642-38574-2_4zbMath1381.03019OpenAlexW2183571250MaRDI QIDQ4928428

Nicolas Peltier, Abdelkader Kersani

Publication date: 14 June 2013

Published in: Automated Deduction – CADE-24 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-38574-2_4

Mathematics Subject Classification ID

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

Related Items (1)

Combining induction and saturation-based theorem proving

Uses Software

• SPIKE

This page was built for publication: Completeness and Decidability Results for First-Order Clauses with Indices