Buscas alternativas:
implementation theorem » implementation the (Expandir a busca), representation theorem (Expandir a busca), implementation through (Expandir a busca)
an implementation » and implementation (Expandir a busca), plan implementation (Expandir a busca), of implementation (Expandir a busca)
implementation theorem » implementation the (Expandir a busca), representation theorem (Expandir a busca), implementation through (Expandir a busca)
an implementation » and implementation (Expandir a busca), plan implementation (Expandir a busca), of implementation (Expandir a busca)
1
2
3
4
“... to be in the finitary class. An OCaml implementation of the nominal unification algorithm is provided and used...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese