Positive Hennessy-Milner Logic for Branching Bisimulation

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

A Hierarchy of Nondeterminism

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

From Thin Concurrent Games to Generalized Species of Structures (Extended Version)

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

Offline and Online Use of Interval and Set-Based Approaches for Control and State Estimation: A Selection of Methodological Approaches and Their Application

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

A categorical account of composition methods in logic (extended version)

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

Strategies as Resource Terms, and their Categorical Semantics

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

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems

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

Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids

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

Deciding the Existence of Interpolants and Definitions in First-Order Modal Logic

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

What Monads Can and Cannot Do with a Few Extra Pages

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

Extended Stone Duality via Monoidal Adjunctions

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

Decidability of extensions of Presburger arithmetic by generalised polynomials

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

Programming Distributed Collective Processes in the eXchange Calculus

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

MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras

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

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms

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

TSO Games -- On the decidability of safety games under the total store order semantics (extended LMCS version with appendix)

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

FlexFringe: Modeling Software Behavior by Learning Probabilistic Automata

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

Multi-representation associated to the numbering of a subbasis and formal inclusion relations

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

Rigorous Function Calculi in Ariadne

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

Enumeration Algorithms for Conjunctive Queries with Projection

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