Buscas alternativas:
constraint programming » concurrent programming (Expandir a busca)
semantic constraint » semantic contract (Expandir a busca), semantic content (Expandir a busca), semantica construtiva (Expandir a busca)
constraint programming » concurrent programming (Expandir a busca)
semantic constraint » semantic contract (Expandir a busca), semantic content (Expandir a busca), semantica construtiva (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