Full Text Available
Access Full Text at Repository
Search Results - "Mathematics"
-
Finite-Horizon First-Order Rank Profiles of Regular Languages
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
Online Article RSS Article -
Grounding vs. Compositionality: On the Non-Complementarity of Reasoning in Neuro-Symbolic Systems
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Templates in Rewriting Induction
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Compressing ACAS-Xu Lookup Tables with Binary Decision Diagrams
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Pseudo-Complex Quantifier Elimination
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Automaton-based Characterisations of First Order Logic over Infinite Trees
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
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