Data-Aware Hybrid Tableaux

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

Simplifying explicit subtyping coercions in a polymorphic calculus with effects

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

On the consistency of stronger lower bounds for NEXP

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

Type Isomorphisms for Multiplicative-Additive Linear Logic

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

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains

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

Alignment complete relational Hoare logics for some and all

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

On the Descriptive Complexity of Groups without Abelian Normal Subgroups

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

A Characterization of Basic Feasible Functionals Through Higher-Order Rewriting and Tuple Interpretations

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

Computational expressivity of (circular) proofs with fixed points

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

Interpretation of Inaccessible Sets in Martin-Löf Type Theory with One Mahlo Universe

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

Range (Rényi) Entropy Queries and Partitioning

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

On guarded extensions of MMSNP

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

Positive Hennessy-Milner Logic for Branching Bisimulation

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

A Hierarchy of Nondeterminism

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

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

Subjects: “…Computer Science & IT…”
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 & IT…”
Get full text

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

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

Strategies as Resource Terms, and their Categorical Semantics

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

Small Term Reachability and Related Problems for Terminating Term Rewriting Systems

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

Active Learning of Deterministic Transducers with Outputs in Arbitrary Monoids

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