Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps

DOI10.1007/978-3-540-73445-1_4zbMath1213.68566OpenAlexW1551552296MaRDI QIDQ3612651

Nicolas Peltier, Ricardo Caferra, Hicham Bensaid

Publication date: 10 March 2009

Published in: Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73445-1_4

Mathematics Subject Classification ID

Related Items (2)

Perfect Discrimination Graphs: Indexing Terms with Integer Exponents ⋮ A complete superposition calculus for primal grammars

Uses Software

• Mathematica
• SPIKE
• E Theorem Prover

Cites Work

• Mathematica

This page was built for publication: Towards Systematic Analysis of Theorem Provers Search Spaces: First Steps