ACM Transactions on Programming Languages and Systems (TOPLAS)
On the complexity of reasoning in Kleene algebra
Information and Computation - Special issue: LICS'97
The inclusion problem for unambiguous rational trace languages
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
Post correspondence problem with partially commutative alphabets
LATA'10 Proceedings of the 4th international conference on Language and Automata Theory and Applications
Hi-index | 5.23 |