ON FLATTENING ELIMINATION RULES

Autor(en):

Olkhovikov, Grigory K.; Schroeder-Heister, Peter

Tübinger Autor(en):

Erschienen in:

Review of Symbolic Logic (2014), Bd. 7, H. 1, S. 60-72

Verlagsangabe:

Cambridge Univ Press

Sprache:

Englisch

Referenz zum Volltext:

ISSN:

1755-0203

DDC-Klassifikation:

004 - Informatik
300 - Sozialwissenschaften, Soziologie, Anthropologie
510 - Mathematik

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: