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

Detalles Bibliográficos
Autor principal:	Erich Grädel, Wolfgang Thomas, Thomas Wilke (edición)
Formato:	Libro
Idioma:	Inglés
Publicado:	Berlín, Alemania : Springer, 2002, c2002
Colección:	(Lecture Notes in Computer Science)
Acceso en línea:	Ver documento en línea

Ejemplares similares: Automata, Logics, and Infinite Games :

Quick Look
Infinite Game Universe : Mathematical Techniques /
Quick Look
Game of Life Cellular Automata /
Quick Look
The Infinite Moment /
Quick Look
The Infinite Man /
Quick Look
Infinite series /
Quick Look
Infinite Thought : Truth and the Return to Philosophy /
Quick Look
Infinite Regress Arguments /
Quick Look
Kings of Infinite Space /
Quick Look
The Infinite Variety of Music /
Quick Look
Infinite sequences and series /
Quick Look
The Infinite Moment : Poems from Ancient Greek /
Quick Look
The Infinite Cosmos : Questions from the Frontiers of Cosmology /
Quick Look
Symbolic Logic and the Game of Logic /
Quick Look
SYMBOLIC LOGIC AND THE GAME OF LOGIC/
Quick Look
Computer Science Logic : 23rd International Workshop, CSL 2009, 18th Annual Conference of the EACSL, Coimbra, Portugal, September 7-11, 2009, Proceedings /
Quick Look
Automatic Verification of Sequential Infinite-State Processes /
Quick Look
Logic and Games on Automatic Structures : Playing with Quantifiers and Decompositions /
Quick Look
Automata for Branching and Layered Temporal Structures : An Investigation into Regularities of Infinite Transition Systems /
Quick Look
Language, Games, and Evolution : Trends in Current Research on Language and Game Theory /
Quick Look
Lévy Processes and Infinitely Divisible Distributions /
Quick Look
Nonsmooth Lyapunov Analysis in Finite and Infinite Dimensions /
Quick Look
Cellular Automata : 5th International Conference on Cellular Automata for Research and Industry, ACRI 2002, Geneva, Switzerland, October 9-11, 2002, Proceedings /
Quick Look
Cellular Automata : 11th International Conference on Cellular Automata for Research and Industry, ACRI 2014, Krakow, Poland, September 22-25, 2014 : Proceedings /
Quick Look
Cellular Automata : 6th International Conference on Cellular Automata for Research and Industry, ACRI 2004, Amsterdam, The Netherlands, October 25-28, 2004. Proceedings /