On the Relationship Between the Complexity of Decidability and Decomposability of First-Order Theories
Crossref DOI link: https://doi.org/10.1134/S199508022112026X
Published Online: 2021-12-13
Published Print: 2021-12
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Ponomaryov, D.
Text and Data Mining valid from 2021-12-01
Version of Record valid from 2021-12-01
Article History
Received: 2 February 2021
Revised: 19 April 2021
Accepted: 23 April 2021
First Online: 13 December 2021