Bokus
Dale Miller - Proof Theory and Logic Programming, Inbunden

Inbunden, Engelska, 2025

Proof Theory and Logic Programming

Computation as Proof Search

Av Dale Miller

951 kr

Skickas tisdag 17/11. Fri frakt över 249 kr.

Fler format och utgåvor

Beskrivning
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.
Produktinformation
  • Utgivningsdatum: 2025-12-18
  • Mått: 220 x 20 x 160 mm
  • Vikt: 665 g
  • Format: Inbunden
  • Språk: Engelska
  • Antal sidor: 334
  • Förlag: Cambridge University Press
  • ISBN: 9781009561297
Utforska kategorier
Mer om författaren

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.

Recensioner i media

'An excellent exposition of proof search as a vehicle for realizing computations that, in the process, provides a novel view of structural proof theory through the prism of logic programming. Another strength is the presentation of linear logic and its use in modelling computational systems. Ideal for a graduate-level course on logic and its role in specification and programming.' Gopalan Nadathur, University of Minnesota

Betyg & recensioner

0 recensioner

Inga recensioner tillgängliga.