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 nonconve...
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | eBook |
| Published: |
Taylor & Francis
2011
|
| Subjects: | |
| Online Access: | Get fulltext |