ACM Transactions on Programming Languages and Systems (TOPLAS)
Forty years of formal power series in automata theory
A half-century of automata theory
Myhill-Nerode Relations on Automatic Systems and the Completeness of Kleene Algebra
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
The Equational Theory of Fixed Points with Applications to Generalized Language Theory
DLT '01 Revised Papers from the 5th International Conference on Developments in Language Theory
On the complexity of reasoning in Kleene algebra
Information and Computation - Special issue: LICS'97
Theoretical Computer Science - Words, languages and combinatorics
Axiomatizing rational power series over natural numbers
Information and Computation
A unifying Kleene theorem for weighted finite automata
Rainbow of computer science
ON A POWER SERIES GENERALIZATION OF ETOL LANGUAGES
Fundamenta Informaticae
Hi-index | 0.00 |