First-order theories of bounded trees
Crossref DOI link: https://doi.org/10.1007/s00153-021-00789-0
Published Online: 2021-07-24
Published Print: 2022-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kellerman, Ruaan https://orcid.org/0000-0002-1945-3240
Text and Data Mining valid from 2021-07-24
Version of Record valid from 2021-07-24
Article History
Received: 18 March 2019
Accepted: 30 June 2021
First Online: 24 July 2021