Vorträge und Posterpräsentationen (ohne Tagungsband-Eintrag):
A. Leitsch:
"CERES: Cut-Elimination by Resolution";
Vortrag: MANYVAL 06,
Gargnano;
20.03.2006
- 22.03.2006.
Kurzfassung deutsch:
Schnittelimination mit CERES
Kurzfassung englisch:
Cut-elimination by CERES
Schlagworte:
cut-elimination, resolution
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.