Unification in a Combination of Equational Theories: an Efficient Algorithm
Authors:
Alexandre Boudet
Affiliations:
-
Venue:
Proceedings of the 10th International Conference on Automated Deduction
Year:
1990
Citing
0
Cited
1
Fast sort computations for order-sorted matching and unification
Formal modeling
Quantified Score
Hi-index
0.00
Visualization
Abstract