Zoekresultaten - intersection constraint programing programmed constructs https

Alternatieven:
intersection constraint » intersection constraints , interaction constraints , interactions constraints
constraint programing » constraint programming , constraints programming , constrained programming
programing programmed » programming programmed , programminng programmed , programming programming
programmed constructs » programming constructs , programme contract , programmed instructions
constructs https » construction https , constructs loops , constructs arti

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

Gepubliceerd in 2006

Inhoudsopgave: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2006

Inhoudsopgave: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

Inhoudsopgave: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2005

Inhoudsopgave: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2008

Inhoudsopgave: “... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...”
Volledige tekst

Elektronisch E-boek

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...

Gepubliceerd in 2014

Inhoudsopgave: “... Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2007

Inhoudsopgave: “... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”
Volledige tekst

Elektronisch E-boek

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

Gepubliceerd in 2012

Inhoudsopgave: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Volledige tekst

Elektronisch E-boek

Computational Methods

Gepubliceerd in 2006

Inhoudsopgave: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
Volledige tekst

Elektronisch E-boek

Verfijnd zoeken