Essential Convexity and Complexity of Semi-Algebraic Constraints

Get full text

Linear-use CPS translations in the Enriched Effect Calculus

Get full text

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

Get full text

Complexity classifications for different equivalence and audit problems for Boolean circuits

Get full text

URSA: A System for Uniform Reduction to SAT

Get full text

Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs

Get full text

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

Get full text

Applying CEGAR to the Petri Net State Equation

Get full text

Forward Analysis for WSTS, Part II: Complete WSTS

Get full text

Piecewise testable tree languages

Get full text

Degrees of Lookahead in Regular Infinite Games

Get full text

Reachability Analysis of Communicating Pushdown Systems

Get full text

Two for the Price of One: Lifting Separation Logic Assertions

Get full text

Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems

Get full text

Model-Checking of Ordered Multi-Pushdown Automata

Get full text

Wreath Products of Forest Algebras, with Applications to Tree Logics

Get full text

Weak Alternating Timed Automata

Get full text

Transfer Function Synthesis without Quantifier Elimination

Get full text

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

Get full text

Point-Separable Classes of Simple Computable Planar Curves

Get full text