A Connection between the Star Problem and the Finite Power Property in Trace Monoids
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
The Star Problem in Trace Monoids: Reductions Beyond C4
ICALP '01 Proceedings of the 28th International Colloquium on Automata, Languages and Programming,
On the Two-Variable Fragment of the Equational Theory of the Max-Sum Algebra of the Natural Numbers
STACS '00 Proceedings of the 17th Annual Symposium on Theoretical Aspects of Computer Science
Axiomatizing Tropical Semirings
FoSSaCS '01 Proceedings of the 4th International Conference on Foundations of Software Science and Computation Structures
Bounded regular path queries in view-based data integration
Information Processing Letters
RTA '09 Proceedings of the 20th International Conference on Rewriting Techniques and Applications
The Theory of Stabilisation Monoids and Regular Cost Functions
ICALP '09 Proceedings of the 36th Internatilonal Collogquium on Automata, Languages and Programming: Part II
Regular temporal cost functions
ICALP'10 Proceedings of the 37th international colloquium conference on Automata, languages and programming: Part II
WoLLIC'10 Proceedings of the 17th international conference on Logic, language, information and computation
Some variants of the star height problem
MFCS'11 Proceedings of the 36th international conference on Mathematical foundations of computer science
Membership and finiteness problems for rational sets of regular languages
DLT'05 Proceedings of the 9th international conference on Developments in Language Theory
Algebraic characterization of the finite power property
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part I
On the relationship between spatial logics and behavioral simulations
FOSSACS'10 Proceedings of the 13th international conference on Foundations of Software Science and Computational Structures
Hi-index | 0.00 |