Adventures in associative-commutative unification
From MaRDI portal
Publication:1262757
DOI10.1016/S0747-7171(89)80026-4zbMath0686.68026MaRDI QIDQ1262757
Jim Christian, Patrick D. Lincoln
Publication date: 1989
Published in: Journal of Symbolic Computation (Search for Journal in Brave)
68W30: Symbolic computation and algebraic computation
08A50: Word problems (aspects of algebraic structures)
Related Items
AC Completion with Termination Tools, On the parameterized complexity of associative and commutative unification, Type dependencies for logic programs using ACI-unification
Uses Software
Cites Work