Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
uninterpreted function » uninterpreted functions, integrated function
program uninterpreted » program interpreter, program integrated
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
uninterpreted function » uninterpreted functions, integrated function
program uninterpreted » program interpreter, program integrated
function function » function functional, functions functional, function dysfunction
parallel program » parallel programs, parallel problem, parallel programming
function https » functions https, fiction https
1
Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...
Publié 2006
Table des matières:
“... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”Accéder au texte intégral
Électronique
eBook
2
Publié 2005
Table des matières:
“... for the Theory of Uninterpreted Functions -- No, Coreset, No Cry -- Hardness Hypotheses, Derandomization...”Accéder au texte intégral
Électronique
eBook