Satisfiability of equations in free groups is in PSPACE
STOC '00 Proceedings of the thirty-second annual ACM symposium on Theory of computing
Equational theory of context unification is undecidable
Theoretical Computer Science
A constraint solver for sequences and its applications
Proceedings of the 2006 ACM symposium on Applied computing
Constraint solving for sequences in software validation and verification
INAP'05 Proceedings of the 16th international conference on Applications of Declarative Programming and Knowledge Management
Hi-index | 0.00 |