JOURNAL ARTICLE
Non-terminating games and automata over infinite objects
Keywords:
Automaton Object (grammar) Set (abstract data type) Feature (linguistics) Sequence (biology)
Metrics
0
Cited By
0.00
FWCI (Field Weighted Citation Impact)
0
Refs
0.70
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Topics
Formal Methods in Verification
Physical Sciences → Computer Science → Computational Theory and Mathematics
Logic, Reasoning, and Knowledge
Physical Sciences → Computer Science → Artificial Intelligence
Logic, programming, and type systems
Physical Sciences → Computer Science → Artificial Intelligence
Related Documents
JOURNAL ARTICLE
Decomposition Theorems for Probabilistic Automata over Infinite Objects
Year: 1999 Vol: 10 (4)Pages: 427-440
BOOK-CHAPTER
Infinite Games and Automata Theory
Cambridge University Press eBooks Year: 2011 Pages: 38-73
BOOK-CHAPTER
Automata over Infinite Alphabets
Co-Published with Indian Institute of Science (IISc), Bangalore, India eBooks Year: 2012 Pages: 529-553