Logic Programming: Operational Semantics and Proof Theory

Cambridge University Press (1992)
  Copy   BIBTEX

Abstract

A homogeneous treatment of the semantics of both theoretical and practical logic programming languages.

Categories

Keywords

Reprint years

ISBN(s)

9780521432191   0521432197

Other Versions

No versions found

View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,449

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Reductive Logic, Proof-Search, and Coalgebra: A Perspective from Resource Semantics.Alexander V. Gheorghiu, Simon Docherty & David J. Pym - 2023 - In Alessandra Palmigiano & Mehrnoosh Sadrzadeh, Samson Abramsky on Logic and Structure in Computer Science and Beyond. Springer Verlag. pp. 833-875.
Symmetry and interactivity in programming.P. -L. Curien - 2003 - Bulletin of Symbolic Logic 9 (2):169-180.
Category-based Semantics for Equational and Constraint Logic Programming.Răzvan Diaconescu - 1994
Towards a Theory of Semantics and Compilers for Programming Languages.E. K. Blum - 1975 - Journal of Symbolic Logic 40 (3):470-471.
Foundations of Disjunctive Logic Programming.Jorge Lobo, Jack Minker & Arcot Rajasekar - 1992 - MIT Press.
Logic Programming in Action: Second International Logic Programming Summer School, LPSS '92, Zurich, Switzerland, September 7-11, 1992. Proceedings.Gerard Comyn & Norbert E. Fuchs - 1992 - Springer Verlag.
Logic of Domains.Guo-Qiang Zhang - 2012 - Springer Verlag.
Uniform proofs as a foundation for logic programming.Dale Miller, Gopalan Nadathur, Frank Pfenning & Andre Scedrov - 1991 - Annals of Pure and Applied Logic 51 (1-2):125-157.
Comparing logic programming and formal argumentation; the case of ideal and eager semantics.Martin Caminada, Sri Harikrishnan & Samy Sá - 2022 - Argument and Computation 13 (1):93-120.
Extensions of Logic Programming Third International Workshop, Elp '92, Bologna, Italy, February 26-28, 1992 : Proceedings'.Evelina Lamma & Paola Mello - 1993 - Springer Verlag.

Analytics

Added to PP
2015-02-02

Downloads
3 (#1,867,272)

6 months
1 (#1,572,794)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references