Logic for applications, Anil Nerode and Richard A. shore

Journal of Logic, Language and Information 7 (2):228-229 (1998)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

2004

DOI

10.1023/a:1008263420991

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Anil Nerode and Richard A. Shore, Logic for Applications.W. Van Der Hoek - 1998 - Journal of Logic Language and Information 7:228-229.
Review: Anil Nerode, Richard A. Shore, Logic for Applications. [REVIEW]Fahiem Bacchus - 1999 - Journal of Symbolic Logic 64 (1):404-405.
Anil Nerode & Richard A. Shore, Logic for Applications, Springer-Verlag, 1993. [REVIEW]Erkan Tin & Varol Akman - 1995 - ACM SIGACT News 26 (1):20-22.
Anil Nerode and Richard A. Shore. Logic for applications. Texts and monographs in computer science. Springer-Verlag, New York, Berlin, Heidelberg, etc., 1993, xvii + 365 pp. [REVIEW]Fahiem Bacchus - 1999 - Journal of Symbolic Logic 64 (1):404-405.
Handbook of logic and language, Johan Van Benthem and Alice Ter meulen, eds.Natasha Kurtonina - 2000 - Journal of Logic, Language and Information 9 (2):263-269.
Exploring logical dynamics, Johan Van Benthem.Lawrence S. Moss - 2000 - Journal of Logic, Language and Information 9 (2):261-263.
Editorial: Modal logic and dynamic semantics. [REVIEW]Yde Venema - 1997 - Journal of Logic, Language and Information 6 (4):357-360.
Inference and computational semantics.Patrick Blackburn & Michael Kohlhase - 2004 - Journal of Logic, Language and Information 13 (2):117-120.
Editorial: Logic and games. [REVIEW]Paul Dekker & Marc Pauly - 2002 - Journal of Logic, Language and Information 11 (3):287-288.
Editorial.Patrick Blackburn - 2002 - Journal of Logic, Language and Information 11 (1):1-1.

Analytics

Added to PP
2009-01-28

Downloads
35 (#445,427)

6 months
11 (#339,290)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wiebe Van Der Hoek
University of Liverpool

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references