An Algorithmic Interpretation of a Deep Inference System

TitleAn Algorithmic Interpretation of a Deep Inference System
Publication TypeConference Paper
Year of Publication2008
AuthorsBrünnler, K, McKinley, R
EditorCervesato, I, Veith, H, Voronkov, A
Conference NameLPAR 2008
Pagination482-496
PublisherSpringer-Verlag
URLhttp://www.iam.unibe.ch/ltgpub/2008/bm08.pdf