You need to sign in or sign up before continuing.
Scan barcode
320 pages • missing pub info (editions)
ISBN/UID: 9780521879408
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 11 June 2012
Description
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding,...
Community Reviews
Content Warnings
320 pages • missing pub info (editions)
ISBN/UID: 9780521879408
Format: Hardcover
Language: English
Publisher: Cambridge University Press
Publication date: 11 June 2012
Description
Formal systems that describe computations over syntactic structures occur frequently in computer science. Logic programming provides a natural framework for encoding and animating such systems. However, these systems often embody variable binding,...
Community Reviews
Content Warnings