[Back]


Contributions to Proceedings:
A. Leitsch, M. Baaz:
"CERES in Many-Valued Logics";
in: "Logic for Programming, Artificial Intelligence, and Reasoning", issued by: Franz Baader, Andrei Voronkov; Springer, LNAI, Heidelberg, 2005, (invited), ISBN: 3-540-25236-3, 1 - 20.

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