Autor: Ireland) Seda Anthony (University College Cork

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. …