Mikhail G. Peretyat'kin

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 1

Top Topics

Expressive Power

Genetic Algorithm

Experimental Data

Top Venues

Publications

Mikhail G. Peretyat'kin, Victor L. Selivanov
Universal Boolean Algebras with Applications to Semantic Classes of Models. CiE (2024)
Mikhail G. Peretyat'kin
The Tarski-Lindenbaum Algebra of the Class of All Strongly Constructivizable Countable Saturated Models. CiE (2013)
Mikhail G. Peretyat'kin
On the Tarski-Lindenbaum Algebra of the Class of all Strongly Constructivizable Prime Models. CiE (2012)
Steffen Lempp, Mikhail G. Peretyat'kin, Reed Solomon
The Lindenbaum Algebra of the Theory of the class of All finite Models. J. Math. Log. 2 (2) (2002)