Suchergebnisse - 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 von Ramanayake, Revantha, Urban, Josef

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

LΩUI: Lovely ΩMEGA User Interface von 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 Ω …”
Volltext

Equational unification: Algorithms and complexity with applications to cryptographic protocol analysis von 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 …”
Volltext