BOOK

Automata Logics, and Infinite Games

Year: 2002 Lecture notes in computer science   Publisher: Springer Science+Business Media
Keywords:
Computer science Automaton Dream Software Basis (linear algebra) Theoretical computer science Software engineering Programming language Mathematics

Metrics

470
Cited By
2.01
FWCI (Field Weighted Citation Impact)
0
Refs
0.86
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Computability, Logic, AI Algorithms
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Logic, programming, and type systems
Physical Sciences →  Computer Science →  Artificial Intelligence

Related Documents

BOOK-CHAPTER

Infinite Games and Automata Theory

Christof Löding

Cambridge University Press eBooks Year: 2011 Pages: 38-73
BOOK-CHAPTER

Alternating Automata and Logics over Infinite Words

Christof LödingWolfgang Thomas

Lecture notes in computer science Year: 2000 Pages: 521-535
BOOK-CHAPTER

Weighted Automata and Logics on Infinite Graphs

Stefan Dück

Lecture notes in computer science Year: 2016 Pages: 151-163
BOOK-CHAPTER

Multi-valued Logics, Automata, Simulations, and Games

Orna KupfermanYoad Lustig

Lecture notes in computer science Year: 2008 Pages: 5-5
© 2026 ScienceGate Book Chapters — All rights reserved.