Publisher
Springer Berlin Heidelberg
Reference89 articles.
1. Series in Algebra 3;J. Almeida,1994
2. Alur, R., Dill, D.: A Theory of Timed Automata. Theoret. Computer Science 126, 183–235 (1994)
3. Lecture Notes in Computer Science;R. Alur,1999
4. Asarin, E., Maler, O., Caspi, P.: Timed Regular Expressions. Journal of the ACM 49, 172–206 (2002)
5. Beaudry, M.: Finite idempotent groupoids and regular languages. RAIRO Informatique théorique 32, 127–140 (1998)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On Varieties of Automata Enriched with an Algebraic Structure (Extended Abstract);Electronic Proceedings in Theoretical Computer Science;2014-05-21
2. Kleene Theorems for Product Systems;Descriptional Complexity of Formal Systems;2011
3. Fragments of First-Order Logic over Infinite Words;Theory of Computing Systems;2010-04-29
4. Formal Parameters of Phonology;Interfaces: Explorations in Logic, Language and Computation;2010
5. A SURVEY ON SMALL FRAGMENTS OF FIRST-ORDER LOGIC OVER FINITE WORDS;International Journal of Foundations of Computer Science;2008-06