On Unification Modulo One-Sided Distributivity: Algorithms, Variants and Asymmetry

Get full text

Generators and relations for n-qubit Clifford operators

Get full text

Pure Nash Equilibria in Concurrent Deterministic Games

Get full text

Logical strength of complexity theory and a formalization of the PCP theorem in bounded arithmetic

Get full text

Using models to model-check recursive schemes

Get full text

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality

Get full text

Bounding linear head reduction and visible interaction through skeletons

Get full text

Containment for Conditional Tree Patterns

Get full text

Learning and Designing Stochastic Processes from Logical Constraints

Get full text

On Reachability for Unidirectional Channel Systems Extended with Regular Tests

Get full text

Mutually Testing Processes

Get full text

Kernelizing MSO Properties of Trees of Fixed Height, and Some Consequences

Get full text

Aspect-oriented linearizability proofs

Get full text

High-level Counterexamples for Probabilistic Automata

Get full text

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