Search Results - intersection constraints programming program constructs https

Search alternatives:
intersection constraints » interaction constraints , interactions constraints , introduction constraints
constraints programming » constraint programming , constrained programming , constraint programing
programming program » programming programmed , programming problem , programming problems
program constructs » program construction , program constructing , programming constructs
constructs https » construction https , constructs loops , constructs arti

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

Published 2006

Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”
View full text

Electronic eBook

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

Published 2005

Table of Contents: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
View full text

Electronic eBook

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

Published 2008

Table of Contents: “... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...”
View full text

Electronic eBook

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

Published 2014

Table of Contents: “... Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting...”
View full text

Electronic eBook

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

Published 2007

Table of Contents: “... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”
View full text

Electronic eBook

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

Published 2012

Table of Contents: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
View full text

Electronic eBook

Computational Methods

Published 2006

Table of Contents: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
View full text

Electronic eBook

Narrow Search