Proceedings of the 20th International Conference on Application and Theory of Petri Nets
On Recognizable Languages in Divisibility Monoids
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
Divisibility Monoids: Presentation, Word Problem, and Rational Languages
FCT '01 Proceedings of the 13th International Symposium on Fundamentals of Computation Theory
Recognizable languages in divisibility monoids
Mathematical Structures in Computer Science
Finite transducers for divisibility monoids
Theoretical Computer Science
Recognizable languages in divisibility monoids
Mathematical Structures in Computer Science
Synthesis of safe message-passing systems
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
| Hi-index | 5.23 |