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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,440

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

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.
Logic for computer scientists.Uwe Schöning - 1989 - Boston: Birkhäuser.
A first course in formal logic and its applications in computer science.Roy Dowsing - 1986 - Boston: Blackwell Scientific Publications. Edited by V. J. Rayward-Smith & C. D. Walter.
Conditionals: from philosophy to computer science.G. Crocco, Luis Fariñas del Cerro & Andreas Herzig (eds.) - 1995 - New York: Oxford University Press.
Handbook of Philosophical Logic.Dov M. Gabbay & Franz Guenthner (eds.) - 1983 - Dordrecht, Netherland: Kluwer Academic Publishers.
Review of deontic logic in computer science. [REVIEW]Ron Loui - manuscript
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
A handbook of logic.Joseph Gerard Brennan - 1957 - New York,: Harper.
Mathematical logic for computer science.M. Ben-Ari - 1993 - New York: Prentice-Hall.
What is a logical system?Dov M. Gabbay (ed.) - 1994 - New York: Oxford University Press.
Computing with functionals: Computability theory or computer science?Dag Normann - 2006 - Bulletin of Symbolic Logic 12 (1):43-59.
On teaching computer ethics within a computer science department.Michael J. Quinn - 2006 - Science and Engineering Ethics 12 (2):335-343.
Decoupling as a Fundamental Value of Computer Science.Timothy Colburn & Gary Shute - 2011 - Minds and Machines 21 (2):241-259.
Handbook of proof theory.Samuel R. Buss (ed.) - 1998 - New York: Elsevier.

Analytics

Added to PP
2011-07-19

Downloads
2 (#1,809,379)

6 months
1 (#1,478,856)

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