Sunny.jl: A Julia Package for Spin Dynamics

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

Hardness of monadic second-order formulae over succinct graphs

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

Rewriting Modulo Traced Comonoid Structure

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

Enumeration and updates for conjunctive linear algebra queries through expressibility

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

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