Gå direkte til innholdet
Methods of Cut-Elimination
Spar

Methods of Cut-Elimination

Instead of just proving the existence of cut-free proofs, it focuses on the algorithmic methods transforming proofs with arbitrary cuts to proofs with only atomic cuts (atomic cut normal forms, so-called ACNFs).
Opplag
2011 ed.
ISBN
9789400734975
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
25.2.2013
Forlag
Springer
Antall sider
290