Buscas alternativas:
constraint programming » concurrent programming (Expandir a busca)
parameters equality » parameters stability (Expandir a busca)
equality constraint » equality constraints (Expandir a busca), inequality constraints (Expandir a busca), liquidity constraint (Expandir a busca)
constraint programming » concurrent programming (Expandir a busca)
parameters equality » parameters stability (Expandir a busca)
equality constraint » equality constraints (Expandir a busca), inequality constraints (Expandir a busca), liquidity constraint (Expandir a busca)
1
2
“... 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