P. E. Alaev

Structures Computable in Polynomial Time. I

P. E. Alaev · Algebra and Logic · 2017 · 34 citations

Structures Computable, Engineering, Automated Reasoning +6

Existence and Uniqueness of Structures Computable in Polynomial Time

P. E. Alaev · Algebra and Logic · 2016 · 22 citations

Mathematical Structure, Engineering, Automated Reasoning +6

Computability on linear orderings enriched with predicates

P. E. Alaev, John J. Thurber, A. N. Frolov · Algebra and Logic · 2009 · 20 citations

Engineering, Automated Reasoning, Computational Model Theory +6

Categoricity for Primitive Recursive and Polynomial Boolean Algebras

P. E. Alaev · Algebra and Logic · 2018 · 13 citations

Algebraic Logic, Engineering, Algebraic Structure +4

Autostable I-Algebras

P. E. Alaev · Algebra and Logic · 2004 · 12 citations