The decision problem for standard classes

Journal of Symbolic Logic 41 (2):460-464 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



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

External links

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

Through your library

Similar books and articles

Putting expectations in order.Alan Baker - 2007 - Philosophy of Science 74 (5):692-700.
The decision problem: solvable classes of quantificational formulas.Burton Dreben - 1979 - Reading, Mass.: Addison-Wesley, Advanced Book Program. Edited by Warren D. Goldfarb.
The classical decision problem, Egon börger, Erich grädel, and Yuri Gurevich.Maarten Marx - 1999 - Journal of Logic, Language and Information 8 (4):478-481.

Analytics

Added to PP
2009-01-28

Downloads
24 (#603,118)

6 months
12 (#157,869)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Embedding causal team languages into predicate logic.Fausto Barbero & Pietro Galliani - 2022 - Annals of Pure and Applied Logic 173 (10):103159.
Undecidability results on two-variable logics.Erich Grädel, Martin Otto & Eric Rosen - 1999 - Archive for Mathematical Logic 38 (4-5):313-354.
Dominoes and the complexity of subclasses of logical theories.Erich Grädel - 1989 - Annals of Pure and Applied Logic 43 (1):1-30.
Thue trees.Jerzy Marcinkowski & Leszek Pacholski - 2003 - Annals of Pure and Applied Logic 119 (1-3):19-59.

Add more citations

References found in this work

No references found.

Add more references