Search Results - Deduction and Theorem Proving|Logic Programming General Terms

Automated Reasoning with Analytic Tableaux and Related Methods: 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18–21, 2023, Proceedings by Ramanayake, Revantha, Urban, Josef

“… The papers are organized in the following topical sections: tableau calculi; sequent calculi; theorem proving; non-wellfounded proofs…”
Get full text

LΩUI: Lovely ΩMEGA User Interface by Siekmann, Jörg, Hess, Stephan, Benzmüller, Christoph, Cheikhrouhou, Lassaad, Fiedler, Armin, Horacek, Helmut, Kohlhase, Michael, Konrad, Karsten, Meier, Andreas, Melis, Erica, Pollet, Martin, Sorge, Volker

“…The capabilities of a automated theorem prover's interface are essential for the effective use of (interactive) proof systems. L Ω…”
Get full text

Equational unification: Algorithms and complexity with applications to cryptographic protocol analysis by Marshall, Andrew M

“…The techniques and tools of unification theory have long been a core component of many areas of automated deduction and logic programming…”
Get full text