Second−Order Logic over Finite Structures − Report on a Research Programme
Georg Gottlob
Details
| 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 |
Links
Related pages
|
People |