:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Bowen, Jonathan P., Habrias, Henri
Format:	Preprint
Published:	2026
Subjects:	General Literature Computers and Society Logic in Computer Science Software Engineering 01A70 (Primary) 01A60, 01A61, 68N30, 68Q60 (Secondary) K.2; D.2.1; D.2.4
Online Access:	https://arxiv.org/abs/2604.07353
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Robert V. Kohn (1953-2026)
by: Epshteyn, Yekaterina, et al.
Published: (2026)

Refutability as Recursive as Provability
by: Cattabriga, Paola
Published: (2024)

An interview with Bernard Teissier
by: Popescu-Pampu, Patrick
Published: (2026)

Tridirectional Discriminating-Power Formal Verification of Smart Contract Reentrancy Defense Against Production-Deployed Solidity Source
by: Iskander, Ray
Published: (2026)

Ordinals and recursively defined functions on the reals
by: Nivasch, Gabriel, et al.
Published: (2023)

Formal Methods: From Academia to Industrial Practice. A Travel Guide
by: Huisman, Marieke, et al.
Published: (2020)

Report of the 2025 Workshop on Next-Generation Ecosystems for Scientific Computing: Harnessing Community, Software, and AI for Cross-Disciplinary Team Science
by: McInnes, Lois Curfman, et al.
Published: (2025)

Exploring Felix Klein's contested modernism
by: Heinig, Peter, et al.
Published: (2024)

Understanding and Improving Automated Proof Synthesis for Interactive Theorem Provers
by: Zhang, Manqing, et al.
Published: (2026)

Authenticated Delegation and Authorized AI Agents
by: South, Tobin, et al.
Published: (2025)

Formal Verification of Imperative First-Class Functions in Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Enhancing Programming Pair Workshops: The Case of Teacher Pre-Prompting
by: Petersson, Johan
Published: (2025)

From CRUD to Autonomous Agents: Formal Validation and Zero-Trust Security for Semantic Gateways in AI-Native Enterprise Systems
by: Peyrano, Ignacio
Published: (2026)

Multiple Query Satisfiability of Constrained Horn Clauses
by: De Angelis, Emanuele, et al.
Published: (2022)

Deciding subspace reachability problems with application to Skolem's Problem
by: Everett, Samuel
Published: (2024)

Dominic Welsh: his work and influence
by: Farr, Graham, et al.
Published: (2024)

Understanding Student Perceptions of Flipped Linear Algebra Classrooms via Interpretable Machine Learning
by: Laudari, S., et al.
Published: (2023)

Abductive explanations of classifiers under constraints: Complexity and properties
by: Cooper, Martin, et al.
Published: (2024)

Folding the Heighway dragon curve
by: Chang, Ting-Wu, et al.
Published: (2026)

The Scholar-Priest and the Paradox of Service: Jozsef Sutak's Role in the Hungarian Mathematical Golden Age
by: Batkai, Andras
Published: (2026)

An Efficient Algorithm for Generalized Polynomial Partitioning and Its Applications
by: Agarwal, Pankaj K., et al.
Published: (2018)

Array-Carrying Symbolic Execution for Function Contract Generation
by: Lu, Weijie, et al.
Published: (2026)

A Mathematical Theory of Discursive Networks
by: Gutiérrez, Juan B.
Published: (2025)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
by: Colomina-Alminana, Juan J.
Published: (2026)

On Chaitin's Heuristic Principle and Halting Probability
by: Salehi, Saeed
Published: (2023)

Trace Validation of Unmodified Concurrent Systems with OmniLink
by: Hackett, Finn, et al.
Published: (2026)

Unveiling Hidden Threats: Using Fractal Triggers to Boost Stealthiness of Distributed Backdoor Attacks in Federated Learning
by: Wang, Jian, et al.
Published: (2025)

Block withholding resilience
by: Grunspan, Cyril, et al.
Published: (2022)

Three variations of Heads or Tails Game for Bitcoin
by: Grunspan, Cyril, et al.
Published: (2024)

Combining Mechanical and Agentic Specification Inference for Move
by: Grieskamp, Wolfgang, et al.
Published: (2026)

Tight Verification of Probabilistic Robustness in Bayesian Neural Networks
by: Batten, Ben, et al.
Published: (2024)

Description Complexity of Unary Structures in First-Order Logic with Links to Entropy
by: Jaakkola, Reijo, et al.
Published: (2024)

Logical Modalities within the European AI Act: An Analysis
by: Lawniczak, Lara, et al.
Published: (2025)

Background and Intellectual Development: Supplementary Material for the Category Mistake Papers
by: Borrill, Paul
Published: (2026)

Safe Low Bandwidth SPV: A Formal Treatment of Simplified Payment Verification Protocols and Security Bounds
by: Wright, Craig S
Published: (2025)

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
by: Ilin, Vasily
Published: (2026)

Dancing in the Shadows: Harnessing Ambiguity for Fairer Classifiers
by: Barrainkua, Ainhize, et al.
Published: (2024)

Algebraic Machine Learning: Learning as computing an algebraic decomposition of a task
by: Martin-Maroto, Fernando, et al.
Published: (2025)

Primitive Vector Cipher(PVC): A Hybrid Encryption Scheme based on the Vector Computational Diffie-Hellman (V-CDH) Problem
by: BİLİR, Gülçin ÇİVİ
Published: (2025)

Nelson's Logical Diagrams
by: Aberdein, Andrew
Published: (2023)