Gå direkt till innehållet
Methods of Cut-Elimination
Spara

Methods of Cut-Elimination

inbunden, 2011
Engelska
Lägsta pris på PriceRunner
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).
Upplaga
2011
ISBN
9789400703193
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2011-01-17
Förlag
Springer
Sidor
290