Proof Theory and Logic Programming Computation As Proof Search

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper understanding for readers interested in the theoretical underpinnings of computation and the logic programming paradigm.

Über den Autor / die Autorin

Dale Miller is Director of Research at INRIA Saclay-Île-de-France. He has been a professor at the University of Pennsylvania, Pennsylvania State University, and the École Polytechnique in France. He served as Editor-in-Chief of the 'ACM Transactions on Computational Logic' and has received an ERC Advanced Investigators Grant, the LICS Test-of-Time Award (twice), and the Dov Gabbay Prize for Logic and Foundations. He is an ACM Fellow.

Produktdetails

• Autoren: Miller Dale, Dale (Inria Saclay-Ile-De-France) Miller
• Verlag: Cambridge University Press ELT
• Inhalt: Buch
• Produktform: Fester Einband
• Erscheinungsdatum: 31.12.2025
• Thema: Naturwissenschaften, Medizin, Informatik, Technik > Informatik, EDV > Programmiersprachen
• EAN: 9781009561297
• ISBN: 978-1-0-0956129-7
• Anzahl Seiten: 334
• Themen: Programming Techniques, Computer architecture & logic design, Programming & scripting languages: general, Computer architecture and logic design, Program concepts / learning to program, Programming and scripting languages: general, COMPUTERS / Languages / General