Restricted syntactic equivalence and adaptive unification in the extensible model of the mathematical dialect
Restricted syntactic equivalence and adaptive unification in the extensible model of the mathematical dialect
2013
, ВАК
Article
Information Science and Control Systems
Russia, Blagoveshensk, ASU
1
1814-2400
Kleschev A.S., Timchenko V.A. Restricted syntactic equivalence and adaptive unification in the extensible model of the mathematical dialect// Information Science and Control Systems. 2013. №1. Pp.132-143 (in Russian).