The undecidability of the elementary theory of lattices of all equational theories of large signature
Crossref DOI link: https://doi.org/10.1007/s00012-019-0601-9
Published Online: 2019-07-08
Published Print: 2019-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
McNulty, George F.
Text and Data Mining valid from 2019-07-08
Version of Record valid from 2019-07-08
Article History
Received: 4 December 2018
Accepted: 10 June 2019
First Online: 8 July 2019