Buscas alternativas:
module implementation » model implementations (Expandir a busca), stable implementation (Expandir a busca), computer implementation (Expandir a busca)
implementation upper » implementation under (Expandir a busca), implementation support (Expandir a busca), implementation over (Expandir a busca)
upper programming » user programming (Expandir a busca), pair programming (Expandir a busca), typed programming (Expandir a busca)
module implementation » model implementations (Expandir a busca), stable implementation (Expandir a busca), computer implementation (Expandir a busca)
implementation upper » implementation under (Expandir a busca), implementation support (Expandir a busca), implementation over (Expandir a busca)
upper programming » user programming (Expandir a busca), pair programming (Expandir a busca), typed programming (Expandir a busca)
1
Assuntos:
“...Unificação módulo teorias equacionais...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese