Login / Signup
Stephan Stadler
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Von Neumann
Natural Deduction
Theorem Prover
Equational Theories
Top Venues
Am. Math. Mon.
</>
Publications
</>
Anton Petrunin
,
Stephan Stadler
Six Proofs of the Fáry-Milnor Theorem.
Am. Math. Mon.
131 (3) (2024)