AC-unification race: the system solving approach, implementation and benchmarks

Authors:
Mohamed Adi;Claude Kirchner
Affiliations:
-;-
Venue:
Journal of Symbolic Computation
Year:
1992

Citing 0
Cited 3

On computing Hilbert bases via the Elliot-MacMahon algorithm

Theoretical Computer Science
Equational rules for rewriting logic

Theoretical Computer Science - Rewriting logic and its applications
Rule-Based Constraint Programming

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract