Some Results on Equational Unification

Authors:
Paliath Narendran;Friedrich Otto
Affiliations:
-;-
Venue:
Proceedings of the 10th International Conference on Automated Deduction
Year:
1990

Citing 0
Cited 2

Complexity and Expressive Power of Logic Programming

CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Unification and Matching Modulo Leaf-Permutative Equational Presentations

IJCAR '08 Proceedings of the 4th international joint conference on Automated Reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract