Buscas alternativas:
algorithm equational » algorithm computational (Expandir a busca)
equational problems » emotional problems (Expandir a busca), operational problems (Expandir a busca)
algorithm equational » algorithm computational (Expandir a busca)
equational problems » emotional problems (Expandir a busca), operational problems (Expandir a busca)
1
Assuntos:
“...Unification modulo equational theories...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese