Inductive Definition and Domain Theoretic Properties of Fully Abstract

Get full text

A Normalizing Intuitionistic Set Theory with Inaccessible Sets

Get full text

From Nondeterministic Büchi and Streett Automata to Deterministic Parity Automata

Get full text

Algorithms for Omega-Regular Games with Imperfect Information

Get full text

Probabilistic Interval Temporal Logic and Duration Calculus with Infinite Intervals: Complete Proof Systems

Get full text

Relating two standard notions of secrecy

Get full text

A Finite Semantics of Simply-Typed Lambda Terms for Infinite Runs of Automata

Get full text

The Complexity of Model Checking Higher-Order Fixpoint Logic

Get full text

On tractability and congruence distributivity

Get full text

Bistable Biorders: A Sequential Domain Theory

Get full text

Transforming structures by set interpretations

Get full text

Automatic Structures: Richness and Limitations

Get full text

Automata with Nested Pebbles Capture First-Order Logic with Transitive Closure

Get full text

Predicate Abstraction via Symbolic Decision Procedures

Get full text

Adventures in time and space

Get full text

On the decidability and complexity of Metric Temporal Logic over finite words

Get full text

Real-Time Model-Checking: Parameters everywhere

Get full text

Predicate Abstraction with Under-approximation Refinement

Get full text

Structure and Problem Hardness: Goal Asymmetry and DPLL Proofs in SAT-Based Planning

Get full text

Logic Meets Algebra: the Case of Regular Languages

Get full text