Terms for subject Programming containing unification

English	Russian
algorithm for unification	алгоритм унификации (ssn)
E-unification	семантическая унификация (сокр. от "equational unification" Alex_Odeychuk)
equational unification	семантическая унификация (Alex_Odeychuk)
explicit unification	явная унификация (Alex_Odeychuk)
first-order syntactical unification	синтаксическая унификация первого порядка (Alex_Odeychuk)
first-order unification	унификация первого порядка (Alex_Odeychuk)
great unification	замечательная унификация (ssn)
higher-order unification	унификация высшего порядка (Alex_Odeychuk)
international unification	международная унификация (ssn)
international unification of equipment and programming languages for use in the controls industry	международная унификация оборудования и языков программирования, предназначенных для использования в индустрии средств управления (ssn)
pattern unification	унификация по образцу (Alex_Odeychuk)
runtime unification	унификация среды выполнения (для разных программно-аппаратных платформ Alex_Odeychuk)
semantical unification	семантическая унификация (Alex_Odeychuk)
syntactic first-order unification problem	задача синтаксической унификации первого порядка (Alex_Odeychuk)
syntactical unification	синтаксическая унификация (Alex_Odeychuk)
these specifications are intended to promote international unification of equipment and programming languages for use in the controls industry	эти спецификации должны содействовать международной унификации оборудования и языков программирования, предназначенных для использования в индустрии средств управления
unification expression	выражение унификации (University of Melbourne, Австралия Alex_Odeychuk)
unification modulo theory	семантическая унификация (Alex_Odeychuk)
unification parallelism	параллелизм при выполнении операции унификации (ssn)