 |
| |||
| E-unification (сокр. от "equational unification" Alex_Odeychuk); semantical unification (Alex_Odeychuk); equational unification (Alex_Odeychuk); unification modulo theory (Alex_Odeychuk) | |||
|
| |||
| E-unification (сокр. от "equational unification" Alex_Odeychuk); semantical unification (Alex_Odeychuk); equational unification (Alex_Odeychuk); unification modulo theory (Alex_Odeychuk) | |||