Full Text Available
Access Full Text at Repository
Search Results - statistics
-
Multiset semantics in SPARQL, Relational Algebra and Datalog
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
Online Article RSS Article -
Polymorphism Meets DHOL
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Model Checking for Low Monodimensionality Fragments of CMSO on Topological-Minor-Free Graph Classes
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
From Tensor Networks to Tractable Circuits, and back
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Static Analysis of Recursive SHACL
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Efficient Temporal Datalog Materialisation for Composite Event Recognition
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Certified Qualitative Analysis of the SIR ODE and Reusable Scalar Lemmas in Isabelle/HOL
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Glivenko's theorems from an ecumenical perspective
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Differentially Private Runtime Monitoring
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
A uniform characterisation of the (a)synchronous must-preorder
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Bennett's Conjecture in Lean 4: Counter-Models for the PSR-Reducibility of Spinoza's Propositions V and XIV
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Knowledge Compilation for Quantification in Alternating Automata
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Efficient Decision Procedures for RNmatrix Semantics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Collusion Relations and their Applications to Balance Theory
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Automated Channel Fault Analysis with Tofu
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Inexpressibility in Exp-Minus-Log
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
ABox Abduction for Inconsistent Knowledge Bases under Repair Semantics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Value Functions for Temporal Logic: Optimal Policies and Safety Filters
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text