ON FLATTENING ELIMINATION RULES

DSpace Repository

Show simple item record

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


Files in this item

Files Size Format View

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record