Nested Sequents

TitleNested Sequents
Publication TypeHabilitation Thesis
Year of Publication2010
AuthorsBrünnler, K
URLhttp://arxiv.org/abs/1004.1845v1