Buscas alternativas:
parameters rules » parameters modules (Expandir a busca), parameterized rules (Expandir a busca), parameters cieleb (Expandir a busca)
rules structured » rules structure (Expandir a busca), sales structure (Expandir a busca), rights structured (Expandir a busca)
parameters rules » parameters modules (Expandir a busca), parameterized rules (Expandir a busca), parameters cieleb (Expandir a busca)
rules structured » rules structure (Expandir a busca), sales structure (Expandir a busca), rights structured (Expandir a busca)
1
2
3
“... 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