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

Methods of Cut-Elimination

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 ed.
ISBN
9789400734975
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
2013-02-25
Förlag
Springer
Sidor
290