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
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
Lecture notes in computer science Year: 2016 Pages: 151-163
BOOK-CHAPTER
Multi-valued Logics, Automata, Simulations, and Games
Lecture notes in computer science Year: 2008 Pages: 5-5