##
###
Page 467 of Mathematical Reviews Vol. , Issue 89A
[page]

1989
*
Mathematical Reviews
*

We also present some original results *on* LR automata.”
89a:68141 68Q50 03B35 03C05 03D35 68Q20 68TI5
*Tidén*, Erik; *Arnborg*, Stefan (S-RIT-C)
*Unification* problems with *one*-*sided* *distributivity*. ...
Then *the* *complexity* *of* some problems involving *the* *one*-*sided* *distributivity* axiom D,, *the* two-*sided* *distributivity* axiom D, and *the* axiom U (x +1 =1+*x = x) is investigated. ...