Eiter, T., Gottlob, G., & Gurevich, Y. (1996). Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems.
Dyfyniad Arddull ChicagoEiter, T., G. Gottlob, and Y. Gurevich. Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems. 1996.
Dyfyniad MLAEiter, T., et al. Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems. 1996.
Rhybudd: Mae'n bosib nad yw'r dyfyniadau hyn bob amser yn 100% cywir.