Handbook of Logic in Computer Science

, & (eds.)
Oxford University Press (1992)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,394

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Rewrite systems.J. W. Klop
Valuation systems and consequence relations.Mark Ryan & Martin Sadler
Chapter 1: Term rewriting systems.  (pages 1--116)J. W. Klop
Universal algebra.  (pages 1--189)Karl Meinke & John V. Tucker
Typed Lambda calculi. S. Abramsky et AL.  (pages 117--309)H. P. Barendregt
Lambda calculus with types.H. P. Barendregt

Similar books and articles

Handbook of Logic in Computer Science.Samson Abramsky, Dov M. Gabbay & Thomas S. E. Maibaum - 1992
S. Abramsky, dm Gabbay and Tse maibaum handbook of logic in computer science.G. White - 2002 - History and Philosophy of Logic 23 (2):135-136.
Martin-Löf’s Type Theory, Handbook of Logic in Computer Science: Volume 5: Logic and Algebraic Methods.Bengt Nordström, Kent Petersson & Jan M. Smith - 2001 - Oxford University Press, Oxford.
Handbook of Logic in Computer Science: Volume 1. Background: Mathematical Structures.Samson Abramsky, DovM Gabbay & Thomas S. E. Maibaum (eds.) - 1992 - Oxford, England: Clarendon Press.
Typed Lambda calculi. S. Abramsky et AL.H. P. Barendregt - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. pp. 117--309.
Rewrite systems.J. W. Klop - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press.
Valuation systems and consequence relations.Mark Ryan & Martin Sadler - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press.
Chapter 1: Term rewriting systems.J. W. Klop - 1992 - In S. Abramsky, D. Gabbay & T. Maibaurn (eds.), Handbook of Logic in Computer Science. Oxford University Press. pp. 1--116.
Handbook of Defeasible Reasoning and Uncertainty Management Systems, Volume 1: Quantified Representation of Uncertainty and Imprecision.Philippe Smets (ed.) - 1998 - Dordrecht, Netherland: Kluwer Academic Publishers.
Review: Temporal Logic: Mathematical Foundations and Computational Aspects D. M. Gabbay, Antony Galton: Temporal Logic: Mathematical Foundations and Computational Aspects. [REVIEW][author unknown] - 1997 - Logic Journal of the IGPL 5 (6):853-857.

Analytics

Added to PP
2011-07-19

Downloads
2 (#1,894,682)

6 months
2 (#1,685,650)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Dov Gabbay
Hebrew University of Jerusalem

Citations of this work

Beyond the universal Turing machine.Jack Copeland - 1999 - Australasian Journal of Philosophy 77 (1):46-67.
Coalgebras, Chu Spaces, and Representations of Physical Systems.Samson Abramsky - 2013 - Journal of Philosophical Logic 42 (3):551-574.
Typed lambda calculus.Henk P. Barendregt, Wil Dekkers & Richard Statman - 1977 - In Jon Barwise (ed.), Handbook of mathematical logic. New York: North-Holland. pp. 1091--1132.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references