Weak essentially undecidable theories of concatenation
Crossref DOI link: https://doi.org/10.1007/s00153-022-00820-y
Published Online: 2022-03-07
Published Print: 2022-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Murwanashyaka, Juvenal http://orcid.org/0000-0002-7621-6540
Funding for this research was provided by:
University of Oslo
Text and Data Mining valid from 2022-03-07
Version of Record valid from 2022-03-07
Article History
Received: 1 December 2019
Accepted: 7 February 2022
First Online: 7 March 2022