Mathematical Aspects of Logic Programming Semantics
Covering the authors'own state-of-the-art research results, this book presents a rigorous, modern account of the mathematical methods and tools required for the semantic analysis of logic programs. It significantly extends the tools and methods from traditional order theory to include nonconventiona...
| Autores principales: | , |
|---|---|
| Formato: | Libro |
| Publicado: |
CRC Press
2011
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |