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

Detalhes bibliográficos
Main Authors:	Eiter, T, Gottlob, G, Gurevich, Y
Formato:	Journal article
Publicado em:	1996

Descrição
Resumo: