Modular AC Unification of Higher-Order Patterns

Authors:
Zhenyu Qian;Kang Wang
Affiliations:
-;-
Venue:
CCL '94 Proceedings of the First International Conference on Constraints in Computational Logics
Year:
1994

Citing 0
Cited 3

Higher Order Unification 30 Years Later

TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Combining Pattern E-Unification Algorithms

RTA '01 Proceedings of the 12th International Conference on Rewriting Techniques and Applications
Higher-order unification and matching

Handbook of automated reasoning

Quantified Score

Hi-index	0.00

Visualization

Abstract