Search Results - intersections completes programs program function https

1

Automata, Languages and Programming 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II /

Published 2006

Table of Contents: “... and Relative Completeness of Logics for Higher-Order Functions -- Interpreting Polymorphic FPC into Domain...”
View full text

Electronic eBook

2

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

3

Typed Lambda Calculi and Applications 8th International Conference, TLCA 2007, Paris, France, June 26-28, 2007, Proceedings /

Published 2007

Table of Contents: “...-Pi-Calculus Modulo -- Completing Herbelin’s Programme -- Continuation-Passing Style and Strong...”
View full text

Electronic eBook

4

Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005, Proceedings /

Published 2005

Table of Contents: “... Contexts -- Proof Contexts with Late Binding -- The -Calculus. Functional Programming with Higher-Order...”
View full text

Electronic eBook

5

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

6

Logic, Language, Information and Computation 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010, Proceedings /

Published 2010

Table of Contents: “... -- A CTL-Based Logic for Program Abstractions -- Application of Logic to Integer Sequences: A Survey...”
View full text

Electronic eBook

7

Theory and Applications of Models of Computation 7th Annual Conference, TAMC 2010, Prague, Czech Republic, June 7-11, 2010. Proceedings /

Published 2010

Table of Contents: “... Intersections Curves -- L(2,1,1)-Labeling Is NP-Complete for Trees -- Complexity of Paths, Trails and Circuits...”
View full text

Electronic eBook

8

Foundations of Software Science and Computational Structures 10th International Conference, FOSSACS 2007, Held as Part of the Joint European Conferences on Theory and Practice of S...

Published 2007

Table of Contents: “... Module Checking -- PDL with Intersection and Converse Is 2EXP-Complete -- Symbolic Backwards-Reachability...”
View full text

Electronic eBook

9

Computer Aided Verification 22nd International Conference, CAV 2010, Edinburgh, UK, July 15-19, 2010, Proceedings /

Published 2010

Table of Contents: “... New Requirements Analysis Tool with Synthesis -- Comfusy: A Tool for Complete Functional Synthesis...”
View full text

Electronic eBook

10

Mathematical Foundations of Computer Science 2008 33rd International Symposium, MFCS 2008, Torun, Poland, August 25-29, 2008, Proceedings /

Published 2008

Table of Contents: “... of the Metric Deadline TSP -- On the Shortest Linear Straight-Line Program for Computing Linear Forms -- Flip...”
View full text

Electronic eBook

11

Algorithms and Computation 21st International Symposium, ISAAC 2010, Jeju Island, Korea, December 15-17, 2010, Proceedings, Part I /

Published 2010

Table of Contents: “... for Generalized Steiner Trees in Complete Graphs with Edge Lengths 1 and 2 -- Approximate Periodicity...”
View full text

Electronic eBook

12

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Published 2010

Table of Contents: “... for Intersection Graphs -- An O(logn)-Approximation Algorithm for the Disjoint Paths Problem in Eulerian Planar...”
View full text

Electronic eBook

13

Algorithms - ESA 2008 16th Annual European Symposium, Karlsruhe, Germany, September 15-17, 2008, Proceedings /

Published 2008

Table of Contents: “...-Oblivious Red-Blue Line Segment Intersection -- The Complexity of Bisectors and Voronoi Diagrams...”
View full text

Electronic eBook

14

Hybrid Systems: Computation and Control 11th International Workshop, HSCC 2008, St. Louis, MO, USA, April 22-24, 2008, Proceedings /

Published 2008

Table of Contents: “... Intersection for Hybrid Systems Reachability Analysis -- Learning and Detecting Emergent Behavior in Networks...”
View full text

Electronic eBook

15

Finite-State Methods and Natural Language Processing 5th International Workshop, FSMNLP 2005, Helsinki, Finland, September 1-2, 2005, Revised Papers /

Published 2006

Table of Contents: “... Automata and Their Uses in Natural Languages -- TAGH: A Complete Morphology for German Based on Weighted...”
View full text

Electronic eBook

16

Theoretical Computer Science 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings /

Published 2014

Table of Contents: “... Functions and Read-Once Functions -- Subshifts, MSO Logic, and Collapsing Hierarchies -- Fast...”
View full text

Electronic eBook

17

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 9th International Workshop on Approximation Algorithms for Combinatorial Optimization Proble...

Published 2006

Table of Contents: “...-Complete -- On Bounded Distance Decoding for General Lattices -- Threshold Functions for Asymmetric Ramsey...”
View full text

Electronic eBook

18

Perspectives in Conceptual Modeling ER 2005 Workshop AOIS, BP-UML, CoMoGIS, eCOMO, and QoIS, Klagenfurt, Austria, October 24-28, 2005, Proceedings /

Published 2005

Table of Contents: “... Highlighting and Intersection Rating Explained -- Applying Semantic Web Technologies for Geodata Integration...”
View full text

Electronic eBook

19

Logic, Language, Information, and Computation 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings /

Published 2014

Table of Contents: “... Functions with Applications in Logic Programming and Formal Grammars -- Common Knowledge Semantics...”
View full text

Electronic eBook

20

Computing and Combinatorics 13th Annual International Conference, COCOON 2007, Banff, Canada, July 16-19, 2007, Proceedings /

Published 2007

Table of Contents: “... Approach for Reconstructing Phylogenetic Trees: Quartet Joining Method -- Integer Programming Formulations...”
View full text

Electronic eBook

Narrow Search