Complexity of the universal theory of bounded residuated distributive lattice-ordered groupoids
Crossref DOI link: https://doi.org/10.1007/s00012-019-0609-1
Published Online: 2019-08-06
Published Print: 2019-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Shkatov, Dmitry
Van Alten, C. J.
Text and Data Mining valid from 2019-08-06
Version of Record valid from 2019-08-06
Article History
Received: 13 September 2018
Accepted: 28 June 2019
First Online: 6 August 2019