Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For 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.