Buscas alternativas:
parameters system » parameter systems (Expandir a busca), parameters test (Expandir a busca), parameters survey (Expandir a busca)
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
system typed » system type (Expandir a busca), system based (Expandir a busca), system the (Expandir a busca)
parameters system » parameter systems (Expandir a busca), parameters test (Expandir a busca), parameters survey (Expandir a busca)
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
system typed » system type (Expandir a busca), system based (Expandir a busca), system the (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