Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems

Normal Forms for Second−Order Logic over Finite Structures‚ and Classification of NP Optimization Problems

Detalles Bibliográficos
Autores principales:	Eiter, T, Gottlob, G, Gurevich, Y
Formato:	Journal article
Publicado:	1996