Y. Gurevich. Monadic second-order theories. In J. Barwise and S. Feferman, editors, Model-Theoretic Logics, pages 479--506. Springer, 1985. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
Decidable First-Order Theories of One-Step Rewriting in Trace.. - Kuske, Lohrey (Correct)
Counting on CTL*: On the Expressive Power of Monadic Path Logic - Moller, Rabinovich (Correct)
Finite Presentations of Infinite Structures: Automata and.. - Blumensath, Grädel (2002) (1 citation) (Correct)
Temporal Logic, Automata And Classical Theories - An Introduction - Dam (1994) (Correct)
Distributive Lattices With a Decidable Monadic Second Order Theory - Kuske (2000) (Correct)
Automatic Structures - Blumensath, Grädel (1999) (22 citations) (Correct)
The Expression Of Graph Properties And Graph Transformations In.. - Courcelle (1997) (38 citations) (Correct)
Automatic Structures - Blumensath, Grädel (1999) (22 citations) (Correct)
Linear Time Solvable Optimization Problems on Graphs of .. - Courcelle, Makowsky.. (1999) (26 citations) (Correct)
Structural and Behavioral Modeling with Monadic Logics - Ayari, Basin, Friedrich (1999) (5 citations) (Correct)
On the Expressive Power of CTL - Moller, Rabinovich (1999) (2 citations) (Correct)
The MSO Logic-Automaton Connection in Linguistics - Morawietz, Cornell (Correct)
On the Expressive Power of CTL - Moller, Rabinovich (1999) (2 citations) (Correct)
Model Checking Synchronized Products of Infinite Transition.. - Stefan Wohrle And (Correct)
Finite Presentations of Infinite Structures: Automata and.. - Blumensath, Grädel (2004) (1 citation) (Correct)
Composition Theorem for Generalized Sum - Rabinovich (2001) (1 citation) (Correct)
Counting on CTL*: On the Expressive Power of Monadic Path Logic - Moller, Rabinovich (2003) (Correct)
An Existential Fragment of Second Order Logic - Rosen (1997) (5 citations) (Correct)
Automata over Continuous Time - Rabinovich (1998) (3 citations) (Correct)
Easy Problems for Tree-Decomposable Graphs - Arnborg, Lagergren (1991) (141 citations) (Correct)
On Gabbay's temporal fixed point operator - Ian Hodkinson December (1992) (3 citations) (Correct)
Definability and Undefinability with Real Order - At The Background Self-citation (Gurevich) (Correct)
The Book Review Column - William Gasarch Department Self-citation (Gurevich) (Correct)
Spectra of Monadic Second-Order Formulas with One Unary Function - Gurevich, Shelah Self-citation (Gurevich) (Correct)
The Structure of the Models of Decidable Monadic Theories of Graphs - Seese (1991) (18 citations) Self-citation (Gurevich) (Correct)
First 50 documents
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC