Van Kampen Colimits and Path Uniqueness

Subjects: “…Computer Science & IT…”
Get full text

A note on first-order spectra with binary relations

Subjects: “…Computer Science & IT…”
Get full text

$n$-permutability and linear Datalog implies symmetric Datalog

Subjects: “…Computer Science & IT…”
Get full text

Some observations on the logical foundations of inductive theorem proving

Subjects: “…Computer Science & IT…”
Get full text

Monadic Second Order Logic with Measure and Category Quantifiers

Subjects: “…Computer Science & IT…”
Get full text

Closed Sets and Operators thereon: Representations, Computability and Complexity

Subjects: “…Computer Science & IT…”
Get full text

Proof-Relevant Logical Relations for Name Generation

Subjects: “…Computer Science & IT…”
Get full text

A survey on difference hierarchies of regular languages

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

Model Theory and Proof Theory of Coalgebraic Predicate Logic

Subjects: “…Computer Science & IT…”
Get full text

Weighted omega-Restricted One Counter Automata

Subjects: “…Computer Science & IT…”
Get full text

A Proof of Stavi's Theorem

Subjects: “…Computer Science & IT…”
Get full text

A coalgebraic treatment of conditional transition systems with upgrades

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

Mixin Composition Synthesis based on Intersection Types

Subjects: “…Computer Science & IT…”
Get full text

Dynamic Causality in Event Structures

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

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

Subjects: “…Computer Science & IT…”
Get full text

Automated Synthesis of Distributed Self-Stabilizing Protocols

Subjects: “…Computer Science & IT…”
Get full text