On ACTL Formulas Having Linear Counterexamples
Francesco Buccafurri‚ Thomas Eiter‚ Georg Gottlob and Nicola Leone
Details
| Journal |
J. Comput. Syst. Sci. |
| Number |
3 |
| Pages |
463−515 |
| Volume |
62 |
| Year |
2001 |
Links
Related pages
|
People |