Computability theory, semantics, and logic programming

Author(s)

• Fitting, Melvin Chris

Bibliographic Information

Computability theory, semantics, and logic programming

Melvin Fitting

（Oxford logic guides, 13）

Oxford University Press , Clarendon Press, 1987

Note

Includes index

Description and Table of Contents

Description

This book describes computability theory and provides an extensive treatment of data structures and program correctness. It makes accessible some of the author's work on generalized recursion theory, particularly the material on the logic programming language PROLOG. It also considers LISP programming language and shows its relation to the PROLOG type of language. Advanced first-degree and graduate students of computer science; researchers in computer science and logic.

by "Nielsen BookData"

• NCID: BA00503785
• ISBN:
  • 0195036913
• LCCN: 85005003
• Country Code: us
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: New York,Oxford
• Pages/Volumes: xi, 198 p.
• Size: 25 cm
• Classification:
  • LCC : QA9.59
  • DC19 : 001.64/2
• Subject Headings:
  • LCSH : Computable functions
  • LCSH : Data structures (Computer science)
• Parent Bibliography ID:
  • BA00017765