Full Text Available
Access Full Text at Repository
Search Results - "Pure Mathematics"
Search alternatives:
- pure »
-
Automaton-based Characterisations of First Order Logic over Infinite Trees
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
Online Article RSS Article -
Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Verification of Neural Networks (Lecture Notes)
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Univalence without function extensionality
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
The Synthetic Sierpiński Cone
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
HyperCertificates: Verification of Discrete-time Dynamical Systems against HyperLTL Specifications
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Efficient Incremental #SAT via Cross-Instance Knowledge Reuse
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Type Theory With Erasure
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Intuitionistic Common Knowledge
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Zero-Knowledge Model Checking
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Multiset semantics in SPARQL, Relational Algebra and Datalog
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Polymorphism Meets DHOL
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
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: “…Pure Mathematics…”
Get full text
-
From Tensor Networks to Tractable Circuits, and back
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Static Analysis of Recursive SHACL
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Efficient Temporal Datalog Materialisation for Composite Event Recognition
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
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: “…Pure Mathematics…”
Get full text
-
Glivenko's theorems from an ecumenical perspective
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Differentially Private Runtime Monitoring
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
A uniform characterisation of the (a)synchronous must-preorder
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text