Cs-Lo
Stream Productivity by Outermost Termination
Complexity Results for Modal Dependence Logic
A Unified Formal Description of Arithmetic and Set Theoretical Data Types
A Machine Checked Model of Idempotent MGU Axioms For Lists of Equational Constraints
Timed Games for Computing Worst-Case Execution-Times
Stateless HOL
Representing First-Order Causal Theories by Logic Programs
Structural Decomposition of Reactions of Graph-Like Objects
Injecting Abstract Interpretations into Linear Cost Models
Delimited control operators prove Double-negation Shift
Cyclic and Inductive Calculi are equivalent
A Local to Global Principle for the Complexity of Riemann Mappings (Extended Abstract)
A survey of paraconsistent logics
Local Strategy Improvement for Parity Game Solving
Real Analytic Machines and Degrees
Formal Theories for Logspace Counting
Effective Capacity and Randomness of Closed Sets
Domain Representable Spaces Defined by Strictly Positive Induction
On the size of data structures used in symbolic model checking
The Coarsest Precongruences Respecting Safety and Liveness Properties
Instantiation of SMT problems modulo Integers
Computation with Advice
