Fragments of First-Order Logic
Pratt-Hartmann considers for which fragments of first-order logic there is an effective method for determining satisfiability or finite satisfiability. Furthermore, he asks, if these problems are decidable for some fragment, what is their computational complexity?
Specificaties
| ISBN/EAN | 9780192867964 |
| Auteur | Pratt-Hartmann, Ian (Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole, Senior Lecturer, University of Manchester Professor of Mathematical Sciences, University of Opole) |
| Uitgever | Van Ditmar Boekenimport B.V. |
| Taal | Engels |
| Uitvoering | Gebonden in harde band |
| Pagina's | 672 |
| Lengte | |
| Breedte |