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

$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