Denis Ponomaryov E-mail ponom@iis.nsk.su Organization A.P. Ershov Institute of Informatics Systems SB RAS — senior researcher Academic degree PhD
Ponomaryov D., Soutchanski M. Component properties of forgetting and progression in the situation calculus // Computer Science. — 2012. — # 34 — P. 105-133
Ponomaryov D. Generalized decomposability notions for first-order theories // Computer Science. — 2007. — # 26 — P. 103-110
