W. Thomas. Languages, automata, and logic. In Handbook of Formal Language Theory, volume III, pages 389-455, G. Rozenberg and A. Salomaa editors, 1997. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Model Checking Synchronized Products of Infinite Transition.. - Stefan Wohrle And Self-citation (Thomas) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, pages 389--455. Springer, 1997.
Symbolic Synthesis of Finite-State Controllers for.. - Wallmeier, Hütten.. Self-citation (Thomas) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume III, pages 389--455. Springer, New York, 1997.
Alternating Automata and Logics over Infinite Words (Extended .. - Löding, Thomas (2000) Self-citation (Automata) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Language Theory, volume III, pages 385{ 455. Springer-Verlag, 1997.
Quantitative Stochastic Parity Games - Chatterjee, Jurdzinski, Henzinger (2003) Self-citation (Thomas) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, Beyond Words, chapter 7, pages 389-455. Springer, 1997.
The Complexity of Stochastic Rabin and Streett Games - Chatterjee, de Alfaro.. (2004) (1 citation) Self-citation (Thomas) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, Beyond Words, chapter 7, pages 389-455. Springer, 1997.
The Complexity of Quantitative Concurrent Parity Games - Chatterjee, Henzinger (2004) Self-citation (Thomas) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, Beyond Words, chapter 7, pages 389--455. Springer, 1997. 29
Algorithms for Stochastic Parity Games - Chatterjee, Henzinger (2005) Self-citation (Thomas) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In Handbook of Formal Languages, volume 3, Beyond Words, chapter 7, pages 389--455. Springer, 1997.
Quantitative Stochastic Parity Games - Chatterjee, Jurdzinski, Henzinger (2004) Self-citation (Thomas) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, Beyond Words, chapter 7, pages 389-455. Springer, 1997.
Games with Secure Equilibria - Krishnendu Chatterjee Thomas Self-citation (Thomas) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, eds., Handbook of Formal Languages, volume 3, pages 389--455. Springer-Verlag, 1997. 10
The Complexity of Enriched -Calculi - Piero Bonatti Carsten (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In Handbook of Formal Language Theory, volume III, pages 389-455, G. Rozenberg and A. Salomaa editors, 1997.
Existential Second-Order Logic over Strings (Extended.. - Eiter, Gottlob, Gurevich (1997) (Correct)
No context found.
W. Thomas. Languages, Automata, and Logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Language Theory, III, pp. 389-- 455. Springer, 1996.
The Complexity of Enriched μ-Calculi - Bonatti, Lutz, Murano, Vardi (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In Handbook of Formal Language Theory, volume III, pages 389-455, G. Rozenberg and A. Salomaa editors, 1997.
Nash Equilibrium for Upward-Closed Objectives - Chatterjee (2005) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, Beyond Words, chapter 7, pages 389-455. Springer, 1997.
Two-player Nonzero-sum ω-regular Games - Chatterjee (2004) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, Beyond Words, chapter 7, pages 389-455. Springer, 1997.
Attribute Grammars for Unranked Trees as a query language for.. - Neven (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, chapter 7, pages 389--456. Springer, 1997.
Extensions of Attribute Grammars for Structured Document Queries - Neven (1999) (23 citations) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In Rozenberg and Salomaa
Typechecking XML Views of Relational Databases - Alon, Milo, Neven, Suciu, Vianu (2001) (4 citations) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In Rozenberg and Salomaa, Handbook of Formal Languages, volume III, chapter 7. Springer, 1997.
Theorie Algebrique des Langages Formels Temps Reel - Dima (2001) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, Beyond Words, pages 389--455. Springer Verlag, 1997.
A Formal Model for an Expressive Fragment of XSLT - Bex, Maneth, Neven (2000) (14 citations) (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, chapter 7. Springer, 1997.
Positional Determinacy of Infinite Games - Grädel (Correct)
No context found.
W. Thomas, Languages, automata, and logic, in Handbook of Formal Languages Vol. 3, G. Rozenberg and A. Salomaa, eds., Springer, 1997, pp. 389-455.
Combining Logic Programs and Monadic Second Order.. - Fioravanti.. (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G. Rozenberg and A. Salomaa, editors, Handbook of Formal Languages, volume 3, pages 389455. Springer, 1997. 25
Existential Heap Abstraction Entailment is Undecidable - Kuncak, Rinard (2003) (1 citation) (Correct)
No context found.
Wolfgang Thomas. Languages, automata, and logic. In Handbook of Formal Languages Vol.3: Beyond Words. Springer-Verlag, 1997.
A Theory of Regular MSC Languages - Henriksen, Mukund, Kumar, Sohoni.. (2003) (1 citation) (Correct)
No context found.
Thomas, W.: Languages, automata, and logic. In Rozenberg, G., Salomaa, A. (Eds.): Handbook of Formal Language Theory, Volume III, Springer-Verlag (1997) 389--455
Theory and Applications of Categories, Vol. 9, No. 9, 2002, .. - Luigi Santocana Le (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In G.Rozenberg and A. Salomaa, editors, Handbook of formal languages. Vol. 3, pages 389--455. Springer-Verlag, Berlin, 1997.
Game-based Notions of Locality over Finite Models - Arenas, Barcelo, Libkin (Correct)
No context found.
W. Thomas. Languages, automata, and logic. In Handbook of Formal Languages, Vo l . 3, Springer, 1997, pages 389--455.
First 50 documents Next 50
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