Search results for: Ulrich Kohlenbach
Israel Journal of Mathematics > 2019 > 232 > 1 > 261-297
Foundations of Computational Mathematics > 2019 > 19 > 1 > 83-99
Israel Journal of Mathematics > 2016 > 216 > 1 > 215-246
Lecture Notes in Computer Science > Computability and Complexity in Analysis > Computability and Complexity in Analysis > 119-145
Advances in Mathematics > 2016 > 290 > C > 503-551
Journal of Mathematical Analysis and Applications > 2016 > 433 > 2 > 1883-1903
Mathematical Logic Quarterly > 61 > 3 > 132 - 150
Journal of Mathematical Analysis and Applications > 2015 > 423 > 2 > 1089-1112
Studia Logica > 2015 > 103 > 6 > 1313-1317
Annals of Pure and Applied Logic > 2014 > 165 > 1 > 266-304
Nonlinear Analysis > 2011 > 74 > 16 > 5253-5267
Mathematical Logic Quarterly > 57 > 6 > 611 - 614
Journal of Mathematical Analysis and Applications > 2011 > 382 > 2 > 615-620
Advances in Mathematics > 2011 > 226 > 3 > 2764-2795
Mathematical Logic Quarterly > 56 > 5 > 508 - 532