Solvability of context equations with two context variable is decidable
Journal of Symbolic Computation
Equational theory of context unification is undecidable
Theoretical Computer Science
The Constraint Language for Lambda Structures
Journal of Logic, Language and Information
Dominance Constraints in Context Unification
LACL '98 Selected papers from the Third International Conference, on Logical Aspects of Computational Linguistics
Context Unification and Traversal Equations
RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Currying Second-Order Unification Problems
RTA '02 Proceedings of the 13th International Conference on Rewriting Techniques and Applications
Stratified Context Unification Is in PSPACE
CSL '01 Proceedings of the 15th International Workshop on Computer Science Logic
Decidability of Bounded Higher-Order Unification
CSL '02 Proceedings of the 16th International Workshop and 11th Annual Conference of the EACSL on Computer Science Logic
Solvability of Context Equations with Two Context Variables is Decidable
CADE-16 Proceedings of the 16th International Conference on Automated Deduction: Automated Deduction
Decidability of bounded second order unification
Information and Computation
Conjunctive queries over trees
PODS '04 Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conjunctive queries over trees
Journal of the ACM (JACM)
Dominance constraints in stratified context unification
Information Processing Letters
On the relation between Context and Sequence Unification
Journal of Symbolic Computation
Context unification with one context variable
Journal of Symbolic Computation
Decidability of bounded higher-order unification
Journal of Symbolic Computation
Unification and matching on compressed terms
ACM Transactions on Computational Logic (TOCL)
Stratified context unification is NP-complete
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
Bounded second-order unification is NP-complete
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Hi-index | 0.00 |