Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by ULRICH KOHLENBACH
Proof-Theoretic Methods in Nonlinear Analysis
Related publications
Introduction: Proof-Theoretic Semantics
Synthese
Philosophy
Social Sciences
Advances in Proof-Theoretic Semantics: Introduction
Trends in Logic
Invariant-Theoretic Methods in Scene Analysis and Structural Mechanics
Journal of Symbolic Computation
Computational Mathematics
Number Theory
Algebra
A Proof Theoretic View of Constraint Programming
Fundamenta Informaticae
Information Systems
Algebra
Number Theory
Mathematics
Computational Theory
Theoretical Computer Science
A New System of Proof-Theoretic Ordinal Functions
Annals of Pure and Applied Logic
Logic
Automatic Learning of Proof Methods in Proof Planning
Logic Journal of the IGPL
Philosophy
A Proof-Theoretic Trust and Reputation Model for VANET
Number Theoretic Methods in Parameter Estimation
A $K$-Theoretic Proof of the Morse Index Theorem in Semi-Riemannian Geometry
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
