Full Text Available
Access Full Text at Repository
Search Results - "mathematics"
-
Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
Online Article RSS Article -
Self-Correcting Gossip Protocols
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
A Fibrational Perspective on Differential Linear Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Finitary Truly Concurrent Bisimulations
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Evidence-Tracked Tape Semantics for Probabilistic Computation
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Computing Short SAT Implicants via Ising/QUBO Encodings
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
A New Interaction Concept for Interactive and Autoactive Program Verification
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Shields to Guarantee Probabilistic Safety in MDPs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Constant time testability of first-order logic with modulo counting on finitary graphs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Preservation Theorems in Semiring Semantics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Coherency through formalisations of Structured Natural Language, A case study on FRETish
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
Separation Logic for Verifying Physical Collisions of CNC Programs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text
-
The Polynomial Counting Capabilities of Message Passing Neural Networks
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Pure Mathematics…”
Get full text