Mostrando 1 - 3 resultados de 3 para a busca 'partial recursive and programming', tempo de busca: 0,14s

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

3

... thesis has also identified some difficulties, limitations, and bottlenecks concerning the CDP programming...

GPU-based backtracking strategies for solving permutation combinatorial problems

Publicado em 2017
Tese