Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. On the Expressiveness of Frame Satisfiability and Fragments of Second−Order Logic

On the Expressiveness of Frame Satisfiability and Fragments of Second−Order Logic

Thomas Eiter and Georg Gottlob

Journal
J. Symb. Log.
Number
1
Pages
73−82
Volume
63
Year
1998

Links

See Also

Back to Top