$n$-permutability and linear Datalog implies symmetric Datalog

Get full text

Some observations on the logical foundations of inductive theorem proving

Get full text

Monadic Second Order Logic with Measure and Category Quantifiers

Get full text

Closed Sets and Operators thereon: Representations, Computability and Complexity

Get full text

Proof-Relevant Logical Relations for Name Generation

Get full text

A survey on difference hierarchies of regular languages

Get full text

The sequential functionals of type $(iota rightarrow iota)^n rightarrow iota$ form a dcpo for all $n in Bbb N$

Get full text

Model Theory and Proof Theory of Coalgebraic Predicate Logic

Get full text

Weighted omega-Restricted One Counter Automata

Get full text

A Proof of Stavi's Theorem

Get full text

A coalgebraic treatment of conditional transition systems with upgrades

Get full text

An enriched view on the extended finitary monad--Lawvere theory correspondence

Get full text

Mixin Composition Synthesis based on Intersection Types

Get full text

Dynamic Causality in Event Structures

Get full text

Families of DFAs as Acceptors of $omega$-Regular Languages

Get full text

Some model theory for the modal $mu$-calculus: syntactic characterisations of semantic properties

Get full text

A generalization of a theorem of Hurewicz for quasi-Polish spaces

Get full text

Automated Synthesis of Distributed Self-Stabilizing Protocols

Get full text

Logical relations for coherence of effect subtyping

Get full text

A Real-Valued Modal Logic

Get full text