Hakutulokset - intersection constraint programing recursion array theory~

Tarkoititko:
intersection constraint » intersection constraints , interaction constraints , interactions constraints
constraint programing » constraint programming , constraints programming , constrained programming
programing recursion » programming recursion , programming decision , programming version
recursion array » recursion arrays
array theory » arrays theory , ray theory , today theory

Verification, Model Checking, and Abstract Interpretation 7th International Conference, VMCAI 2006, Charleston, SC, USA, January 8-10, 2006, Proceedings /

Julkaistu 2006

Sisällysluettelo: “... Abstraction of Recursive Programs -- Relative Safety -- Resource Usage Analysis for the ?-Calculus -- Semantic...”
Hae kokoteksti

Elektroninen E-kirja

Computer Algebra in Scientific Computing 8th International Workshop, CASC 2005, Kalamata, Greece, September 12-16, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
Hae kokoteksti

Elektroninen E-kirja

Rajaa hakua