Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. On ACTL Formulas Having Linear Counterexamples

On ACTL Formulas Having Linear Counterexamples

Francesco Buccafurri‚ Thomas Eiter‚ Georg Gottlob and Nicola Leone

Journal
J. Comput. Syst. Sci.
Number
3
Pages
463−515
Volume
62
Year
2001

Links

See Also

Back to Top