Restricting initial sequents : The trade-offs between identity, contraction and cut

dc.contributor.author	Schroeder-Heister, Peter
dc.date.accessioned	2018-05-23T15:01:39Z
dc.date.available	2018-05-23T15:01:39Z
dc.date.issued	2016
dc.identifier.isbn	978-3-319-29196-3
dc.identifier.isbn	978-3-319-29198-7
dc.identifier.uri	http://hdl.handle.net/10900/82032
dc.language.iso	en	de_DE
dc.publisher	Cham : Birkhäuser	de_DE
dc.relation.ispartofseries	Progress in computer science and applied logic;28
dc.relation.uri	http://dx.doi.org/10.1007/978-3-319-29198-7_10	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.subject.ddc	100	de_DE
dc.title	Restricting initial sequents : The trade-offs between identity, contraction and cut	de_DE
dc.type	BookPart	de_DE
utue.publikation.seiten	339-351	de_DE
utue.personen.roh	Schroeder-Heister, P.
utue.publikation.buchdesbeitrags	Advances in proof theory	de_DE