< Back to previous page

Researcher

Andreas Weiermann

Keywords:Mathematical Logic, Proof theory, Term rewriting systems

Disciplines:Mathematical logic and foundations, History and biography of mathematical sciences, Convex and discrete geometry, Combinatorics, Theoretical computer science not elsewhere classified, History and foundations not elsewhere classified, Mathematical software, Applied discrete mathematics, Computational logic and formal languages, Coding and information theory