Automata, Logics, and Infinite Games: A Guide to Current Research

&
Bulletin of Symbolic Logic 10 (1):114-115 (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

ISBN(s)

3540003886

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,459

External links

  • This entry has no external links. Add one.
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

Automata, logics, and infinite games: A guide to current research, edited by Erich Grädel, Wolfgang Thomas, and Thomas Wilke, Lecture Notes in Computer Science, vol. 2500 . Springer-Verlag, Berlin Heidelberg, 2002, viii + 385 pp. [REVIEW]David Janin - 2004 - Bulletin of Symbolic Logic 10 (1):114-115.
Infinite Words: Automata, Semigroups, Logic and Games.Dominique Perrin & Jean-Eric Pin - 2005 - Bulletin of Symbolic Logic 11 (2):246-247.
Dominique Perrin and Jean-Eric Pin. Infinite words: automata, semigroups, logic and games. Pure and Applied Mathematics Series, vol. 141. Elsevier, Amsterdam, 2004, xi + 538 pp. [REVIEW]Thomas Wilke - 2005 - Bulletin of Symbolic Logic 11 (2):246-247.
Logical Dynamics of Information and Interaction.Johan van Benthem - 2011 - New York: Cambridge University Press.
Finite Automata, Formal Logic, and Circuit Complexity.Howard Straubing - 1994 - Birkhäuser.
Logic in Games.Johan Van Benthem - 2014 - MIT Press.
The prospects for mathematical logic in the twenty-first century.Samuel R. Buss, Alexander S. Kechris, Anand Pillay & Richard A. Shore - 2001 - Bulletin of Symbolic Logic 7 (2):169-196.
Gödel '96 Logical Foundations of Mathematics, Computer Science and Physics Kurt GÖdel's Legacy.Petr Hájek & Jiří Zlatuška - 1996 - Bulletin of Symbolic Logic 2 (4):473-473.
Elements of automata theory.Jacques Sakarovitch - 2011 - Bulletin of Symbolic Logic 17 (1):122-124.
Elements of automata theory. [REVIEW]Jean-Éric Pin - 2011 - Bulletin of Symbolic Logic 17 (1):122-123.

Analytics

Added to PP
2015-02-06

Downloads
1 (#1,947,089)

6 months
1 (#1,892,942)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

Temporal Logics of Agency.Johan van Benthem & Eric Pacuit - 2010 - Journal of Logic, Language and Information 19 (4):389-393.

Add more citations

References found in this work

No references found.

Add more references