Unification, weak unification, upper bound, lower bound, and generalization problems
Authors:
Franz Baader
Affiliations:
-
Venue:
RTA-91 Proceedings of the 4th international conference on Rewriting techniques and applications
Year:
1991
Citing
0
Cited
1
Constraint solving on terms
Constraints in computational logics
Quantified Score
Hi-index
0.00
Visualization
Abstract