On the system CL12 of computability logic

Get full text

Permissive Controller Synthesis for Probabilistic Systems

Get full text

On absorption in semigroups and $n$-ary semigroups

Get full text

Weak bisimulation for coalgebras over order enriched monads

Get full text

Thermodynamic graph-rewriting

Get full text

Deciding the value 1 problem for probabilistic leaktight automata

Get full text

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