ASIAN '98 Proceedings of the 4th Asian Computing Science Conference on Advances in Computing Science
Decidable Fragments of Simultaneous Rigid Reachability
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Intersection of Regular Languages and Star Hierarchy
ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
The Existential Theory of Equations with Rational Constraints in Free Groups is PSPACE-Complete
STACS '01 Proceedings of the 18th Annual Symposium on Theoretical Aspects of Computer Science
The existential theory of equations with rational constraints in free groups is PSPACE-complete
Information and Computation
The existential theory of equations with rational constraints in free groups is PSPACE-complete
Information and Computation
Yuri, logic, and computer science
Fields of logic and computation
Hi-index | 0.00 |