Buscas alternativas:
modular programming » modern programming (Expandir a busca), computer programming (Expandir a busca)
partial recursive » parcial recursiva (Expandir a busca), sparsity recursive (Expandir a busca), partial recording (Expandir a busca)
recursive modular » recursive model (Expandir a busca)
modular programming » modern programming (Expandir a busca), computer programming (Expandir a busca)
partial recursive » parcial recursiva (Expandir a busca), sparsity recursive (Expandir a busca), partial recording (Expandir a busca)
recursive modular » recursive model (Expandir a busca)
1
Assuntos:
“...Unificação módulo teorias equacionais...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese