Deep inference and its normal form of derivations

TitleDeep inference and its normal form of derivations
Publication TypeConference Paper
Year of Publication2006
AuthorsBrünnler, K
EditorBeckmann, A, Berger, U, Löwe, B, Tucker, JV
Conference NameProceedings of Computability in Europe
Pagination65-74
PublisherSpringer
URLhttp://www.iam.unibe.ch/ltgpub/2006/bru06b.pdf
DOI10.1007/11780342_7