Exploring the Structure of an Algebra Text with Locales
Crossref DOI link: https://doi.org/10.1007/s10817-019-09537-9
Published Online: 2019-11-30
Published Print: 2020-08
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ballarin, Clemens http://orcid.org/0000-0003-2222-9693
Text and Data Mining valid from 2019-11-30
Version of Record valid from 2019-11-30
Article History
Received: 12 April 2019
Accepted: 11 November 2019
First Online: 30 November 2019