Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Kohlenbach, Ulrich
1999.
Logic and Foundations of Mathematics.
p.
93.
Bridges, Douglas S.
2001.
Combinatorics, Computability and Logic.
p.
69.
Kohlenbach, Ulrich
2001.
Intuitionistic Choice and Restricted Classical Logic.
Mathematical Logic Quarterly,
Vol. 47,
Issue. 4,
p.
455.
Kohlenbach, Ulrich
2002.
On uniform weak König's lemma.
Annals of Pure and Applied Logic,
Vol. 114,
Issue. 1-3,
p.
103.
Toftdal, Michael
2004.
Automata, Languages and Programming.
Vol. 3142,
Issue. ,
p.
1188.
Akama, Y.
Berardi, S.
Hayashi, S.
and
Kohlenbach, U.
2004.
An arithmetical hierarchy of the law of excluded middle and related principles.
p.
192.
Ferreira, Fernando
and
Oliva, Paulo
2005.
Bounded functional interpretation.
Annals of Pure and Applied Logic,
Vol. 135,
Issue. 1-3,
p.
73.
Oliva, Paulo
2006.
Unifying Functional Interpretations.
Notre Dame Journal of Formal Logic,
Vol. 47,
Issue. 2,
Gerhardy, Philipp
and
Kohlenbach, Ulrich
2006.
Strongly uniform bounds from semi-constructive proofs.
Annals of Pure and Applied Logic,
Vol. 141,
Issue. 1-2,
p.
89.
Berardi, Stefano
and
Tatsuta, Makoto
2007.
Programming Languages and Systems.
Vol. 4807,
Issue. ,
p.
271.
Loeb, I.
2009.
Indecomposability of negative dense subsets of R in Constructive Reverse Mathematics.
Logic Journal of IGPL,
Vol. 17,
Issue. 2,
p.
173.
Gaspar, Jaime
and
Oliva, Paulo
2010.
Proof interpretations with truth.
Mathematical Logic Quarterly,
Vol. 56,
Issue. 6,
p.
591.
Ferreira, Fernando
2010.
Logic Colloquium 2007.
p.
32.
Ferreira, Gilda
and
Oliva, Paulo
2010.
Confined modified realizability.
Mathematical Logic Quarterly,
Vol. 56,
Issue. 1,
p.
13.
Kohlenbach, Ulrich
and
Safarik, Pavol
2014.
Fluctuations, effective learnability and metastability in analysis.
Annals of Pure and Applied Logic,
Vol. 165,
Issue. 1,
p.
266.
Sipoş, Andrei
2017.
Effective results on a fixed point algorithm for families of nonlinear mappings.
Annals of Pure and Applied Logic,
Vol. 168,
Issue. 1,
p.
112.
Burr, Wolfgang
2017.
Logic Colloquium '99.
p.
51.
Ferreira, Fernando
2020.
The FAN principle and weak König's lemma in herbrandized second-order arithmetic.
Annals of Pure and Applied Logic,
Vol. 171,
Issue. 9,
p.
102843.
Kohlenbach, Ulrich
and
Pischke, Nicholas
2023.
Proof theory and non-smooth analysis.
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences,
Vol. 381,
Issue. 2248,