BELTIUKOV Anatoly P. - A polynomial Programming Language long version in published proceedings
CÉGIELSKI Patrick - On the additive theory of prime numbers II (joint work with Denis RICHARD & Maxim VSEMIRNOV) published paper - Part of the choice on Google Books - Premiminary version
EBELIN Henri-Alex - Weak arithmetic for functions of exponential size
KHACHATRYAN Mikayel H. - On the representation of arithmetical and string functions in formal languages
KOCHARYAN A. - On-line tessellation automata as a text matching problems solver (joint work with Karine V. SHAHBAZYAN)
LISOVIK Leonid P. - Decidable singular theories of two successor functions with an extra predicate
LYALETSKI Alexander - Evidential paradigm and processing of mathematical texts by SAD system (joint work with P. P. PROTSIK)
MANUKIAN Seda - On the representation of recursively enumerable sets in weak arithmetics
MATIYASEVICH Yuri - Diophantine flavor of Kolmogorov complexity
RESSAYRE Jean-Pierre - Infinite games and finite machines: from large cardinals to computers
SHAHBAZYAN Karine & SHOUKOURIAN Yuri. H. - The finite state recognazability of sequences of integers
ZASLAVSKY Igor D. - Some criteria of completness for axiomatic systems in three-valued logic