Buscas alternativas:
parallel choice » parallel code (Expandir a busca), parallel machine (Expandir a busca)
choice logic » hoare logic (Expandir a busca), charge logic (Expandir a busca)
parallel choice » parallel code (Expandir a busca), parallel machine (Expandir a busca)
choice logic » hoare logic (Expandir a busca), charge logic (Expandir a busca)
1
Assuntos:
“...Constraint logic programming...”
Exploração de paralelismo ou em uma linguagem em lógica com restrições
Dissertação