Testing for a Semilattice Term
Crossref DOI link: https://doi.org/10.1007/s11083-018-9455-6
Published Online: 2018-03-14
Published Print: 2019-03
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Freese, Ralph
Nation, J. B.
Valeriote, Matt http://orcid.org/0000-0001-6568-7526
Funding for this research was provided by:
Natural Sciences and Engineering Research Council of Canada
National Science Foundation (1500235)
Text and Data Mining valid from 2018-03-14
Version of Record valid from 2018-03-14
Article History
Received: 5 December 2017
Accepted: 5 March 2018
First Online: 14 March 2018