Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems
Thomas Eiter‚ Georg Gottlob and Yuri Gurevich
Details
| Journal |
Ann. Pure Appl. Logic |
| Number |
1−3 |
| Pages |
111−125 |
| Volume |
78 |
| Year |
1996 |
Links
Related pages
|
People |