On completeness of reducibility candidates as a semantics of strong normalization

Get full text

Formal proofs in real algebraic geometry: from ordered fields to quantifier elimination

Get full text

A type reduction theory for systems with replicated components

Get full text

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis

Get full text

Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus

Get full text

A note on the expressive power of linear orders

Get full text

Timed Parity Games: Complexity and Robustness

Get full text

The Complexity of Rooted Phylogeny Problems

Get full text

Proof-irrelevant model of CC with predicative induction and judgmental equality

Get full text

Context-Bounded Analysis For Concurrent Programs With Dynamic Creation of Threads

Get full text

A decidable characterization of locally testable tree languages

Get full text

The descriptive set-theoretic complexity of the set of points of continuity of a multi-valued function

Get full text

Computational Models of Certain Hyperspaces of Quasi-metric Spaces

Get full text

An Exponential Lower Bound for the Latest Deterministic Strategy Iteration Algorithms

Get full text

Power of Randomization in Automata on Infinite Strings

Get full text

Formalization of Abstract State Transition Systems for SAT

Get full text

Nested Hoare Triples and Frame Rules for Higher-order Store

Get full text

The Complexity of Nash Equilibria in Stochastic Multiplayer Games

Get full text

Kripke Semantics for Martin-Löf's Extensional Type Theory

Get full text

Attacker Control and Impact for Confidentiality and Integrity

Get full text