King's College London

Research portal

Revisiting Cut-Elimination: One Difficult Proof is Really a Proof

Research output: Chapter in Book/Report/Conference proceedingConference paper

Christian Urban, Bozhi Zhu

Original languageEnglish
Title of host publicationProceedings of the 19th International Conference on Rewriting Techniques and Applications (RTA 2008)
Subtitle of host publicationLecture Notes in Computer Science
Pages409 - 424
Number of pages16
Publication statusPublished - 2008

King's Authors

View graph of relations

© 2018 King's College London | Strand | London WC2R 2LS | England | United Kingdom | Tel +44 (0)20 7836 5454