Talks and Poster Presentations (with Proceedings-Entry):

G. Gottlob:
"Second-Order Logic over Finite Structures - Report on a Research Programme";
Talk: Second International Joint Conference, IJCAR 2004, Cork, Irland (invited); 2004-07-04 - 2004-07-08; in: "Automated reasoning", Springer-Verlag, (2004), ISBN: 3-540-22345-2; 229 - 243.

Online library catalogue of the TU Vienna:

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