Buscas alternativas:
problems programming » robots programming (Expandir a busca), parallel programming (Expandir a busca), systems programming (Expandir a busca)
matching problems » matching problem (Expandir a busca), batching problem (Expandir a busca), packing problems (Expandir a busca)
partial matching » pattern matching (Expandir a busca), partial melting (Expandir a busca)
problems programming » robots programming (Expandir a busca), parallel programming (Expandir a busca), systems programming (Expandir a busca)
matching problems » matching problem (Expandir a busca), batching problem (Expandir a busca), packing problems (Expandir a busca)
partial matching » pattern matching (Expandir a busca), partial melting (Expandir a busca)
1
“... complete. By using protected variables, this unification algorithm solves nominal matching problems modulo...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese