Logic at Tver '92

&
Journal of Symbolic Logic 58 (3):1150-1150 (1993)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s0022481200021204

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

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 & 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.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.
Logic for applications, Anil Nerode and Richard A. shore.Wiebe van der Hoek - 1998 - Journal of Logic, Language and Information 7 (2):228-229.
Tableaux for constructive concurrent dynamic logic.Duminda Wijesekera & Anil Nerode - 2005 - Annals of Pure and Applied Logic 135 (1-3):1-72.
Effective completeness theorems for modal logic.Suman Ganguli & Anil Nerode - 2004 - Annals of Pure and Applied Logic 128 (1-3):141-195.
Computing definite logic programs by partial instantiation.Vadim Kagan, Anil Nerode & V. S. Subrahmanian - 1994 - Annals of Pure and Applied Logic 67 (1-3):161-182.
Preface.A. Nerode & M. A. Taitslin - 1994 - Annals of Pure and Applied Logic 67 (1-3):1.
Meeting of the association for symbolic logic.Anil Nerode & K. J. Barwise - 1973 - Journal of Symbolic Logic 38 (2):348-358.
Preface.Anil Nerode - 2004 - Annals of Pure and Applied Logic 126 (1-3):1-2.
Preface.Yuri Matiyasevich & Anil Nerode - 1996 - Annals of Pure and Applied Logic 78 (1-3):1.
Preface.Sergei Artemov & Anil Nerode - 2012 - Annals of Pure and Applied Logic 163 (7):743-744.
Preface.Anil Nerode & Gerald Sacks - 1996 - Annals of Pure and Applied Logic 81 (1-3):1.
Editorial.Anil Nerode & Melvin Fitting - 2014 - Annals of Pure and Applied Logic 165 (1):1-2.
Review: Anil Nerode, Extensions to Isols. [REVIEW]J. C. E. Dekker - 1960 - Journal of Symbolic Logic 25 (4):359-361.

Analytics

Added to PP
2014-04-04

Downloads
8 (#1,287,956)

6 months
1 (#1,510,037)

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