Persons
RUS  ENG    JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB  
 
Kohlenbach, U
Statistics Math-Net.Ru
Total publications: 1
Scientific articles: 1
Presentations: 1

Number of views:
This page:144
Abstract pages:899
Full texts:287
References:75
E-mail:
Website: https://www2.mathematik.tu-darmstadt.de/~kohlenbach/

https://www.mathnet.ru/eng/person27415
List of publications on Google Scholar
List of publications on ZentralBlatt
https://mathscinet.ams.org/mathscinet/MRAuthorID/320906

Publications in Math-Net.Ru Citations
2003
1. U. Kohlenbach, P. Oliva, “Proof Mining: A Systematic Way of Analyzing Proofs in Mathematics”, Trudy Mat. Inst. Steklova, 242 (2003),  147–175  mathnet  mathscinet  zmath; Proc. Steklov Inst. Math., 242 (2003), 136–164 39

Presentations in Math-Net.Ru
1. Applications of proof theory to core mathematics: Recent developments
U. Kohlenbach
Logical Perspectives 2021: Conference
June 10, 2021 16:00   

Organisations
 
  Contact us:
  Terms of Use  Registration to the website  Logotypes © Steklov Mathematical Institute RAS, 2024