Denis Ponomaryov
E-mail
Organization:
  • A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher
Academic degree: PhD
List of Articles:
Ponomaryov D. Soutchanski M. Component properties of forgetting and progression in the situation calculus // Computer Science. — 2012 . — # 34.  — P. 105-133
Ponomaryov D. On decomposability in logical calculi // Computer Science. — 2008 . — # 28.  — P. 111-120
Ponomaryov D. Generalized decomposability notions for first-order theories // Computer Science. — 2007 . — # 26.  — P. 103-110