6 citations · 6 across the 1 of their papers we have counts for
1 paper
Dmitry Shkatov, C. J. Van Alten
We prove that the universal theory and the quasi-equational theory of bounded residuated distributive lattice-orderegroupoids are both EXPTIME-complete. Similar results areproven f…