Gå direkte til innholdet
Methods of Cut-Elimination
Spar

Methods of Cut-Elimination

innbundet, 2011
Engelsk
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
ISBN
9789400703193
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
17.1.2011
Forlag
Springer
Antall sider
290