Fatal steps of Knuth-Bendix completion
Nordic Journal of Computing
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
Parallelism and Tree Regular Constraints
LPAR '02 Proceedings of the 9th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning
On the non-termination of MDG-based abstract state enumeration
Theoretical Computer Science
A uniform approach to underspecification and parallelism
ACL '98 Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics
Well-nested parallelism constraints for ellipsis resolution
EACL '03 Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 1
Dominance constraints in stratified context unification
Information Processing Letters
WFLP'11 Proceedings of the 20th international conference on Functional and constraint logic programming
Well-nested context unification
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Describing lambda terms in context unification
LACL'05 Proceedings of the 5th international conference on Logical Aspects of Computational Linguistics
Hi-index | 0.00 |