ON FLATTENING ELIMINATION RULES

DSpace Repository

ON FLATTENING ELIMINATION RULES

Author: Olkhovikov, Grigory K.; Schroeder-Heister, Peter
Tübinger Autor(en):
Schroeder-Heister, Peter
Published in: Review of Symbolic Logic (2014), Bd. 7, H. 1, S. 60-72
Verlagsangabe: Cambridge Univ Press
Language: English
Full text: http://dx.doi.org/10.1017/S1755020313000385
ISSN: 1755-0203
DDC Classifikation: 004 - Data processing and computer science
300 - Social sciences, sociology and anthropology
510 - Mathematics
Dokumentart: Artikel
Show full item record

This item appears in the following Collection(s)