Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by Crossref.
Hetzl, Stefan
Leitsch, Alexander
Reis, Giselle
and
Weller, Daniel
2014.
Algorithmic introduction of quantified cuts.
Theoretical Computer Science,
Vol. 549,
Issue. ,
p.
1.
Baaz, M.
and
Leitsch, A.
2014.
Cut-Elimination: Syntax and Semantics.
Studia Logica,
Vol. 102,
Issue. 6,
p.
1217.
Baaz, Matthias
and
Iemhoff, Rosalie
2016.
Skolemization in intermediate logics with the finite model property.
Logic Journal of IGPL,
Vol. 24,
Issue. 3,
p.
224.
Chaudhuri, Kaustuv
Hetzl, Stefan
and
Miller, Dale
2016.
A multi-focused proof system isomorphic to expansion proofs.
Journal of Logic and Computation,
Vol. 26,
Issue. 2,
p.
577.
Stratulat, Sorin
2018.
Validating Back-links of FOLID Cyclic Pre-proofs.
Electronic Proceedings in Theoretical Computer Science,
Vol. 281,
Issue. ,
p.
39.
Ebner, Gabriel
2018.
Fast Cut-Elimination using Proof Terms: An Empirical Study.
Electronic Proceedings in Theoretical Computer Science,
Vol. 281,
Issue. ,
p.
24.
Baaz, Matthias
Leitsch, Alexander
and
Lolic, Anela
2018.
Logical Foundations of Computer Science.
Vol. 10703,
Issue. ,
p.
55.
Chaudhuri, Kaustuv
Manighetti, Matteo
and
Miller, Dale
2019.
A proof-theoretic approach to certifying skolemization.
p.
78.
Ebner, Gabriel
2019.
Automated Reasoning with Analytic Tableaux and Related Methods.
Vol. 11714,
Issue. ,
p.
355.
Baaz, Matthias
Leitsch, Alexander
and
Lolic, Anela
2020.
An abstract form of the first epsilon theorem.
Journal of Logic and Computation,
Vol. 30,
Issue. 8,
p.
1447.
Komara, Ján
2022.
Efficient elimination of Skolem functions in $$\text {LK}^\text {h}$$.
Archive for Mathematical Logic,
Vol. 61,
Issue. 3-4,
p.
503.
Baaz, Matthias
and
Lolic, Anela
2022.
Logical Foundations of Computer Science.
Vol. 13137,
Issue. ,
p.
9.
Hetzl, Stefan
and
Vierling, Jannik
2023.
Induction and Skolemization in saturation theorem proving.
Annals of Pure and Applied Logic,
Vol. 174,
Issue. 1,
p.
103167.
HETZL, STEFAN
2023.
A SIMPLIFIED PROOF OF THE EPSILON THEOREMS.
The Review of Symbolic Logic,
p.
1.
Baaz, Matthias
and
Lolić, Anela
2023.
Logic, Language, Information, and Computation.
Vol. 13923,
Issue. ,
p.
69.