Speciality: 01.01.06 (Mathematical logic, algebra, and number theory)
E-mail:
Keywords: partially commutative groups, nilpotent groups, algebraic geometry over groups.

Subject:

Satisfiability of graph formulas over partially commutative nilpotent groups.

Main publications:

1. A. A. Mishchenko, A. V. Treier, “Algorithmic decidability of the universal equivalence problem for partially commutative nilpotent groups”, Algebra and Logic, 52:2 (2013), 147–158            
2. A. A. Mishchenko, E. I. Timoshenko, “Universal equivalence of partially commutative nilpotent groups”, Siberian Math. J., 52:5 (2011), 884–891              
3. A. A. Mishchenko, “Structure of coordinate groups for algebraic sets in partially commutative nilpotent groups”, Algebra and Logic, 48:3 (2009), 214–227              
4. A. A. Mishchenko, A. V. Treyer, “Commuting graphs for partially commutative nilpotent $\mathbb Q$-groups of class $2$”, Sib. Èlektron. Mat. Izv., 4 (2007), 460–481      

Recent publications

Presentations in Math-Net.Ru

Personal pages:

• 
• 
• 
• 
• 
• 
• 
• 

Organisations:

• Omsk State Technical University
• Omsk Branch of Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences