 Math., 49:129-141, 1961. [Fag74] R. Fagin. Generalized first-order spectra and polynomial-time recognizable sets. In RM Karp, editor, Complexity of Computation, SIAM-AMS Proceedings, Vol. 7, pages 43-73, 1974.  Parameterized Complexity Theory - Página 468por J. Flum, M. Grohe - 2006 - 495 páginasVista previa limitada - Acerca de este libro
 | Serge Abiteboul - 1990 - 540 páginas
...California at Berkeley, 1973. [Fag74] R. Fagin. Generalized first-order spectra and polynomial-time recognizable sets. In RM Karp, editor, Complexity...Computation, SIAM-AMS Proceedings, Vol. 7, pages 43-73, 1974. [Fag75a] R. Fagin. Monadic generalized spectra. Zeitschrift jur Mathematische Logik und Grundlagen... | |
 | Egon Börger - 1992 - 444 páginas
...nearly logarithmic time on a hypercube and related computers, 2nd ACM-STOC (1990), pp. 193-203. 9. R. Fagin: Generalized first order spectra and polynomial time recognizable sets, in "Complexity of Computations" (R. Karped.), SIAM-AMS-proceedings 7 (1974), pp.2741. 11. A. Gibbons,... | |
 | Leszek Pacholski, Jerzy Tiuryn - 1995 - 564 páginas
...Methodology, and Philosophy of Science, pages 24-30. North-Holland, Amsterdam, 1965. [Fagin, 1974] R. Fagin. Generalized first order spectra and polynomial time recognizable sets. In R. Karp, editor, Complexity of Computation, pages 43-73. SIAM-AMS, 1974. [Goerdt, 1992] Andreas Goerdt.... | |
 | Claude Puech, Rüdiger Reischuk - 1996 - 710 páginas
...Math., 49:129—141, 1961. [Fag74J R. Fagin. Generalized first-order spectra and polynomial—time recognizable sets. In RM Karp, editor, Complexity...SIAM-AMS Proceedings, Vol. 7, pages 43—73, 1974. [Fag75] R. Fagin. Monadic generalized spectra. Zeitschrift fur Mathematische Logik und Grundlagen der... | |
 | Dirk van Dalen, Marc Bezem, European Association for Computer Science Logic. Conference - 1997 - 488 páginas
...Universita di Roma "La Sapienza", 1995. 4. R. Fagin. Generalized first-order spectra and polynomial-time recognizable sets. In RM Karp, editor, Complexity...Computation, SIAM-AMS Proceedings, Vol. 7, pages 43-73, 1974. 5. E. Gradel and Y. Gurevich. Metafmite Model Theory. In D. Leivant, editor, Logic and Computational... | |
| |
