HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:proof search

Papers
A Multithreaded Vampire with Shared Persistent Grounding
Michael Rawson and Giles Reger
EasyChair Preprint no. 5855
Making Theory Reasoning Simpler
Giles Reger, Johannes Schoisswohl and Andrei Voronkov
EasyChair Preprint no. 5000
Automated Theorem Proving, Fast and Slow
Michael Rawson and Giles Reger
EasyChair Preprint no. 4433
Deep Proof Search in MELL
Ozan Kahramanogullari
In:LPAR-21. 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Functional Pearl: the Proof Search Monad
Jonathan Protzenko
In:IWIL-2015. 11th International Workshop on the Implementation of Logics
Dialogues for proof search
Jesse Alama
In:ARQNL 2014. Automated Reasoning in Quantified Non-Classical Logics
Copyright © 2012-2023 easychair.org. All rights reserved.