[Back]


Contributions to Proceedings:
M. Baaz, C. Fermüller:
"A resolution mechanism for Prenex Gödel logic";
in: "Computer Science Logic (LNCS 6247/2010)", A. Dawar, H. Veith (ed.); Springer, 2010, 67 - 79.

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