Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Kohlenbach, U
Statistics Math-Net.Ru
Total publications:
1
Scientific articles:
1
Presentations:
1
Number of views:
This page:
126
Abstract pages:
881
Full texts:
281
References:
65
E-mail:
email
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
;
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
Technische Universität Darmstadt
University of Aarhus
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024