Beiträge in Tagungsbänden:
M. Baaz, S. Hetzl, A. Leitsch, Clemens Richter, H. Spohr:
"Proof Transformation by CERES";
in: "MKM 2006",
J.M. Borwein, W.M. Farmer (Hrg.);
Springer,
Berlin Heidelberg,
2006,
S. 82
- 93.
Kurzfassung deutsch:
Beweistransformation mit CERES
Kurzfassung englisch:
Proof Transformation by CERES
Schlagworte:
resolution, paramodulation, cut-elimination
Online-Bibliotheks-Katalog der TU Wien:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC06587066
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.