Skip to main content

Second−Order Logic over Finite Structures − Report on a Research Programme

Georg Gottlob

Book Title
Automated Reasoning − Second International Joint Conference‚ IJCAR 2004‚ Cork‚ Ireland‚ July 4−8‚ 2004‚ Proceedings
Editor
David A. Basin and Michaël Rusinowitch
ISBN
3−540−22345−2
Pages
229−243
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
3097
Year
2004