Virtual Algebraic Isomorphisms between Predicate Calculi of Finite Rich Signatures
Crossref DOI link: https://doi.org/10.1007/s10469-022-09666-y
Published Online: 2022-05-03
Published Print: 2022-01
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Peretyat’kin, M. G.
Text and Data Mining valid from 2022-01-01
Version of Record valid from 2022-01-01
Article History
Received: 18 January 2020
Accepted: 8 April 2022
First Online: 3 May 2022