The unification algorithm for the extensible model of a mathematical dialect
The unification algorithm for the extensible model of a mathematical dialect
2012
, ВАК
Article
Information Science and Control Systems
Russia, Blagoveshensk, ASU
№1(31)
1814-2400
Kleschev A. S., Timchenko V. A. The unification algorithm for the extensible model of a mathematical dialect // Information Science and Control Systems. 2012. №1(31). Pp. 155-165.