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:
http://aleph.ub.tuwien.ac.at/F?base=tuw01&func=find-c&ccl_term=AC04968390
Created from the Publication Database of the Vienna University of Technology.