Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. 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

Thomas Eiter‚ Georg Gottlob and Yuri Gurevich

Journal
Ann. Pure Appl. Logic
Number
1−3
Pages
111−125
Volume
78
Year
1996

Links

See Also

Back to Top