Contributions to Proceedings:
M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"Proof Transformation by CERES";
in: "MKM 2006",
J.M. Borwein, W.M. Farmer (ed.);
Springer,
Berlin Heidelberg,
2006,
82
- 93.
English abstract:
Proof Transformation by CERES
German abstract:
Beweistransformation mit CERES
Keywords:
resolution, paramodulation, cut-elimination
Online library catalogue of the TU Vienna:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06587066
Created from the Publication Database of the Vienna University of Technology.