JavaScript is disabled for your browser. Some features of this site may not work without it.
| 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. |
|||