Buscas alternativas:
constraint programming » concurrent programming (Expandir a busca)
parameters object » parameters test (Expandir a busca)
constraint programming » concurrent programming (Expandir a busca)
parameters object » parameters test (Expandir a busca)
1
“... specification in which parameters are used to abstract variables, such as in predicates and functions. In the...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese