Abstract: Compares three approaches to polynomial-time decidability for uniform word problems for quasi-varieties. Two of the approaches, by T. Evans (1951) and S. Burris (1995), respectively, are ...
Results that may be inaccessible to you are currently showing.
Hide inaccessible results
Feedback