Determinization of transducers over finite and infinite words
Theoretical Computer Science
Determinization of Transducers over Infinite Words
ICALP '00 Proceedings of the 27th International Colloquium on Automata, Languages and Programming
Efficient algorithms for testing the twins property
Journal of Automata, Languages and Combinatorics - Special issue: Selected papers of the workshop weighted automata: Theory and applications (Dresden University of Technology (Germany), March 4-8, 2002)
Regular Transformations of Infinite Strings
LICS '12 Proceedings of the 2012 27th Annual IEEE/ACM Symposium on Logic in Computer Science
Hi-index | 0.89 |