Automata, logics, and infinite games
Saved in:
Other Authors: | Gr?adel, Erich 1958-, Thomas, Wolfgang 1947-, Wilke, Thomas 1965- |
---|---|
Format: | Book |
Published: |
Berlin New York
Springer
2002
|
Series: | Lecture notes in computer science ;
2500 |
Subjects: | |
Online Access: | Click Here to View Status and Holdings. |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
Discrete structures and automata theory
by: Dube, Rakesh, et al.
Published: (2006) -
Finite automata, formal logic, and circuit complexity
by: Straubing, Howard 1952-
Published: (1994) -
The collected works of J. Richard Buchi
by: Buchi, J. Richard
Published: (1990) -
Logic in games
by: Benthem, Johan van 1949-
Published: (2014) -
Logical number theory an introduction
by: Smorynski, Craig
Published: (1991)