[Zurück]


Zeitschriftenartikel:

M. Baaz, A. Leitsch:
"Towards a clausal analysis of cut-elimination";
Journal of Symbolic Computation, 41 (2006), S. 381 - 410.



Kurzfassung deutsch:
Klausale Analyse der Schnitt-elimination

Kurzfassung englisch:
Clausal Analysis of Cut-elimination


Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06587870


Erstellt aus der Publikationsdatenbank der Technischen Universitšt Wien.