A Ghost at $omega_1$

Get full text

The intuitionistic temporal logic of dynamical systems

Get full text

Relational Graph Models at Work

Get full text

The Covering Problem

Get full text

Extensional Semantics for Higher-Order Logic Programs with Negation

Get full text

SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes

Get full text

An estimation for the lengths of reduction sequences of the $lambdamurhotheta$-calculus

Get full text

On Sub-Propositional Fragments of Modal Logic

Get full text

An Integrated First-Order Theory of Points and Intervals over Linear Orders (Part I)

Get full text

Computability in Basic Quantum Mechanics

Get full text

The language of Stratified Sets is confluent and strongly normalising

Get full text

A Dichotomy for First-Order Reducts of Unary Structures

Get full text

Weihrauch-completeness for layerwise computability

Get full text

Uniqueness of directed complete posets based on Scott closed set lattices

Get full text

A Categorical Approach to Syntactic Monoids

Get full text

Analyzing Timed Systems Using Tree Automata

Get full text

Study of Behaviours via Visitable Paths

Get full text

Domains via approximation operators

Get full text

Van Kampen Colimits and Path Uniqueness

Get full text

A note on first-order spectra with binary relations

Get full text