Quantitative Semantics for Jumping Automata

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

Approximating Queries on Probabilistic Graphs

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

Trade-offs between classical and quantum space using spooky pebbling

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

From Innermost to Full Probabilistic Term Rewriting: Almost-Sure Termination, Complexity, and Modularity

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

Data-Aware Hybrid Tableaux

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

Simplifying explicit subtyping coercions in a polymorphic calculus with effects

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

On the consistency of stronger lower bounds for NEXP

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

Type Isomorphisms for Multiplicative-Additive Linear Logic

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

Checking Continuous Stochastic Logic against Quantum Continuous-Time Markov Chains

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

Alignment complete relational Hoare logics for some and all

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

On the Descriptive Complexity of Groups without Abelian Normal Subgroups

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

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

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

Computational expressivity of (circular) proofs with fixed points

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

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

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

Range (Rényi) Entropy Queries and Partitioning

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

On guarded extensions of MMSNP

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

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