Buscas alternativas:
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
algoritmo typed » algoritmo tipo (Expandir a busca)
typed programming » based programming (Expandir a busca), time programming (Expandir a busca), system programming (Expandir a busca)
algoritmo typed » algoritmo tipo (Expandir a busca)
1
Assuntos:
“... DE ALGORITMOS E COMPLEXIDADE DE COMPUTACAO...”
Nominal Equational Problems Modulo Associativity, Commutativity and Associativity-Commutativity
Tese
2
“...Type inference is a feature that is common to a variety of programming languages. While, in the...”
Type inference for C: applications to the analysis of incomplete programs
Tese
3
“... do problema em múltiplas classes distintas, resultando no modelo das Typed Graph Networks (TGN...”
Learning to solve NP-complete problems
Tese