ON FLATTENING ELIMINATION RULES

dc.contributor.author	Schroeder-Heister, Peter
dc.date.accessioned	2015-02-26T15:13:31Z
dc.date.available	2015-02-26T15:13:31Z
dc.date.issued	2014
dc.identifier.issn	1755-0203
dc.identifier.uri	http://hdl.handle.net/10900/59832
dc.language.iso	en	de_DE
dc.publisher	Cambridge Univ Press	de_DE
dc.relation.uri	http://dx.doi.org/10.1017/S1755020313000385	de_DE
dc.rights	info:eu-repo/semantics/closedAccess
dc.subject.ddc	004	de_DE
dc.subject.ddc	300	de_DE
dc.subject.ddc	510	de_DE
dc.title	ON FLATTENING ELIMINATION RULES	de_DE
dc.type	Article	de_DE
utue.quellen.id	20150115224006_02715	de_DE
utue.publikation.seiten	60-72	de_DE
utue.personen.roh	Olkhovikov, Grigory K.
utue.personen.roh	Schroeder-Heister, Peter
dcterms.isPartOf.ZSTitelID	Review of Symbolic Logic	de_DE
dcterms.isPartOf.ZS-Issue	1	de_DE
dcterms.isPartOf.ZS-Volume	7	de_DE
utue.fakultaet	07 Mathematisch-Naturwissenschaftliche Fakultät	de_DE