Algebras of Binary Formulas for Compositions of Theories
Crossref DOI link: https://doi.org/10.1007/s10469-020-09602-y
Published Online: 2020-11-26
Published Print: 2020-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Emel’yanov, D. Yu.
Kulpeshov, B. Sh.
Sudoplatov, S. V.
Text and Data Mining valid from 2020-09-01
Version of Record valid from 2020-09-01
Article History
Received: 9 April 2019
Accepted: 24 November 2020
First Online: 26 November 2020