Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Ehle, Arno
Hundeshagen, Norbert
and
Lange, Martin
2018.
The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs.
Electronic Proceedings in Theoretical Computer Science,
Vol. 267,
Issue. ,
p.
19.
Gheorghiu, Alexander V.
and
Pym, David J.
2023.
Definite Formulae, Negation-as-Failure, and the Base-Extension Semantics of Intuitionistic Propositional Logic.
Bulletin of the Section of Logic,
Vol. 52,
Issue. 2,
p.
239.
Vasconcelos, Davi Romero
2023.
ANITA: Analytic Tableau Proof Assistant.
Electronic Proceedings in Theoretical Computer Science,
Vol. 375,
Issue. ,
p.
38.