№ 2 (2013) Kleschev A. S., Moskalenko Ph. M. THE PROOF OF CORRECTNESS OF THE ALGORITHM FOR SOLVING A PARTICULAR TASK IN MEDICAL DIAGNOSTICS
№ 1 (2013) Kleschev A. S., Timchenko V. A. RESTRICTED SYNTACTIC EQUIVALENCE AND ADAPTIVE UNIFICATION IN THE EXTENSIBLE MODEL OF THE MATHEMATICAL DIALECT
№ 1 (2012) Kleschev A. S., Timchenko V. A. THE UNIFICATION ALGORITHM FOR THE EXTENSIBLE MODEL OF A MATHEMATICAL DIALECT
№ 3 (2011) Kleschev A. S., Timchenko V. A. THE PROBLEM OF SUBSTITUTION FOR THE EXTENSIBLE MODEL OF A MATHEMATICAL DIALECT
№ 1 (2009) Kleschev A. S., Smagin S. V. Some properties for method of random arrangement of dynamics period