Resultados da pesquisa - intersection constraints programs program constructs https

Pesquisas alternativas:
intersection constraints » interaction constraints , interactions constraints , introduction constraints
constraints programs » constraint programs , constraints program , constrained programs
program constructs » program construction , program constructing , programming constructs
programs program » programming program
constructs https » construction https , constructs loops , constructs arti

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

Publicado em 2006

Sumário: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2006

Sumário: “... Abstraction -- Combining Shape Analyses by Intersecting Abstractions -- A Complete Abstract Interpretation...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... -- Recasting Constraint Automata into Büchi Automata -- A Complete Realisability Semantics for Intersection...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... of Pointer Programs -- PDL with Intersection and Converse Is Decidable -- On Deciding Topological Classes...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2005

Sumário: “... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2008

Sumário: “... for NC k -- Extensional Uniformity for Boolean Circuits -- Pure Pointer Programs with Iteration...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2014

Sumário: “... Programming Languages and Methods for Semantic Analyses (Extended Abstract of Invited Talk) -- Unnesting...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2007

Sumário: “... Onto Functions and Polynomial Hierarchy -- Proved-Patterns-Based Development for Structured Programs...”
Obter o texto integral

Recurso Electrónico livro electrónico

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

Publicado em 2012

Sumário: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Obter o texto integral

Recurso Electrónico livro electrónico

Computational Methods

Publicado em 2006

Sumário: “...TOPOLOGICAL OPTIMIZATION OF CONTINUUM STRUCTURE WITH GLOBAL STRESS CONSTRAINTS BASED ON ICM METHOD...”
Obter o texto integral

Recurso Electrónico livro electrónico

Refinar a Pesquisa