[Back]


Talks and Poster Presentations (without Proceedings-Entry):
A. Leitsch:
"CERES: Cut-Elimination by Resolution";
Talk: MANYVAL 06, Gargnano; 2006-03-20 - 2006-03-22.

English abstract:
Cut-elimination by CERES

German abstract:
Schnittelimination mit CERES

Keywords:
cut-elimination, resolution

Created from the Publication Database of the Vienna University of Technology.