The undecidability of proof search when equality is a logical connective
Crossref DOI link: https://doi.org/10.1007/s10472-021-09764-0
Published Online: 2021-07-03
Published Print: 2022-05
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Miller, Dale http://orcid.org/0000-0003-0274-4954
Viel, Alexandre
Text and Data Mining valid from 2021-07-03
Version of Record valid from 2021-07-03
Article History
Accepted: 21 June 2021
First Online: 3 July 2021