Decidable Models of Ehrenfeucht Theories
Crossref DOI link: https://doi.org/10.1007/s10469-025-09779-0
Published Online: 2025-05-05
Published Print: 2024-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Alaev, P. E.
Khlestova, E. I.
Text and Data Mining valid from 2024-07-01
Version of Record valid from 2024-07-01
Article History
Received: 21 February 2024
Accepted: 11 April 2025
First Online: 5 May 2025