On streams that are finitely red

Subjects: “…Computer Science & Information Science…”
Get full text

Essential Convexity and Complexity of Semi-Algebraic Constraints

Subjects: “…Computer Science & Information Science…”
Get full text

Linear-use CPS translations in the Enriched Effect Calculus

Subjects: “…Computer Science & Information Science…”
Get full text

First steps in synthetic guarded domain theory: step-indexing in the topos of trees

Subjects: “…Computer Science & Information Science…”
Get full text

Complexity classifications for different equivalence and audit problems for Boolean circuits

Subjects: “…Computer Science & Information Science…”
Get full text

URSA: A System for Uniform Reduction to SAT

Subjects: “…Computer Science & Information Science…”
Get full text

Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs

Subjects: “…Computer Science & Information Science…”
Get full text

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference

Subjects: “…Computer Science & Information Science…”
Get full text

Applying CEGAR to the Petri Net State Equation

Subjects: “…Computer Science & Information Science…”
Get full text

Forward Analysis for WSTS, Part II: Complete WSTS

Subjects: “…Computer Science & Information Science…”
Get full text

Piecewise testable tree languages

Subjects: “…Computer Science & Information Science…”
Get full text

Degrees of Lookahead in Regular Infinite Games

Subjects: “…Computer Science & Information Science…”
Get full text

Reachability Analysis of Communicating Pushdown Systems

Subjects: “…Computer Science & Information Science…”
Get full text

Two for the Price of One: Lifting Separation Logic Assertions

Subjects: “…Computer Science & Information Science…”
Get full text

Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

Subjects: “…Computer Science & Information Science…”
Get full text

Model-Checking of Ordered Multi-Pushdown Automata

Subjects: “…Computer Science & Information Science…”
Get full text

Wreath Products of Forest Algebras, with Applications to Tree Logics

Subjects: “…Computer Science & Information Science…”
Get full text

Weak Alternating Timed Automata

Subjects: “…Computer Science & Information Science…”
Get full text

Transfer Function Synthesis without Quantifier Elimination

Subjects: “…Computer Science & Information Science…”
Get full text

Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation

Subjects: “…Computer Science & Information Science…”
Get full text