Modelling MAC-Layer Communications in Wireless Systems

Get full text

Domain Representations Induced by Dyadic Subbases

Get full text

Ranking Templates for Linear Loops

Get full text

Bialgebraic Semantics for Logic Programming

Get full text

Positive Inductive-Recursive Definitions

Get full text

The Computational Complexity of Propositional Cirquent Calculus

Get full text

Weak Cat-Operads

Get full text

Complexity of Problems of Commutative Grammars

Get full text

Effective zero-dimensionality for computable metric spaces

Get full text

Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq

Get full text

The extensional realizability model of continuous functionals and three weakly non-constructive classical theorems

Get full text

Extracting verified decision procedures: DPLL and Resolution

Get full text

On the relative proof complexity of deep inference via atomic flows

Get full text

Monads need not be endofunctors

Get full text

Program Logics for Homogeneous Generative Run-Time Meta-Programming

Get full text

Permission-Based Separation Logic for Multithreaded Java Programs

Get full text

A Hoare logic for the coinductive trace-based big-step semantics of While

Get full text

Stochastic Parity Games on Lossy Channel Systems

Get full text

Globally Governed Session Semantics

Get full text

A Robust Class of Data Languages and an Application to Learning

Get full text