Buscas alternativas:
computation programming » computational programming (Expandir a busca), simulation programming (Expandir a busca), computer programming (Expandir a busca)
module computation » mobile computation (Expandir a busca), modern computation (Expandir a busca), modulo computacional (Expandir a busca)
partial module » partial comodule (Expandir a busca)
computation programming » computational programming (Expandir a busca), simulation programming (Expandir a busca), computer programming (Expandir a busca)
module computation » mobile computation (Expandir a busca), modern computation (Expandir a busca), modulo computacional (Expandir a busca)
partial module » partial comodule (Expandir a busca)
1
Assuntos:
“...Unificação módulo teorias equacionais...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese