Αποτελέσματα αναζήτησης - intersection constraints programming programming construction https

Εναλλακτικές αναζητήσεις:
intersection constraints » interaction constraints , interactions constraints , introduction constraints
programming construction » programming constructs , program construction , programming abstraction
constraints programming » constraint programming , constrained programming , constraint programing
programming programming » programming programmed , programming program
construction https » instruction https , conservation https , construction history

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Έκδοση 2006

Πίνακας περιεχομένων: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

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

Έκδοση 2006

Πίνακας περιεχομένων: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Theoretical Aspects of Computing - ICTAC 2008 5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

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

Έκδοση 2005

Πίνακας περιεχομένων: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Computer Science Logic 19th International Workshop, CSL 2005, 14th Annual Conference of the EACSL, Oxford, UK, August 22-25, 2005, Proceedings /

Έκδοση 2005

Πίνακας περιεχομένων: “... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Computer Science Logic 22nd International Workshop, CSL 2008, 17th Annual Conference of the EACSL, Bertinoro, Italy, September 16-19, 2008, Proceedings /

Έκδοση 2008

Πίνακας περιεχομένων: “... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Rewriting and Typed Lambda Calculi Joint International Conferences, RTA and TLCA 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proc...

Έκδοση 2014

Πίνακας περιεχομένων: “... Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Computer Science - Theory and Applications Second International Symposium on Computer Science in Russia, CSR 2007, Ekaterinburg, Russia, September 3-7, 2007, Proceedings /

Έκδοση 2007

Πίνακας περιεχομένων: “... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Έκδοση 2012

Πίνακας περιεχομένων: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Computational Methods

Έκδοση 2006

Πίνακας περιεχομένων: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης