Recognizing string graphs in NP
STOC '02 Proceedings of the thiry-fourth annual ACM symposium on Theory of computing
Context Unification and Traversal Equations
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Recognizing string graphs in NP
Journal of Computer and System Sciences - STOC 2002
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Alphabetical satisfiability problem for trace equations
Acta Cybernetica
Hi-index | 0.00 |