Saved in:
| Main Authors: | AP, Arif Ali, Babu, Jasine, John, Deepa Sara |
|---|---|
| Format: | Preprint |
| Published: |
2025
|
| Subjects: | |
| Online Access: | https://arxiv.org/abs/2509.22236 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
FTMPST: Fault-Tolerant Multiparty Session Types
by: Peters, Kirstin, et al.
Published: (2022)
by: Peters, Kirstin, et al.
Published: (2022)
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024)
by: De Domenico, Andrea, et al.
Published: (2024)
Fault-Tolerant Multiparty Session Types with Global Escape Loops
by: Bartl, Lukas, et al.
Published: (2025)
by: Bartl, Lukas, et al.
Published: (2025)
Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
by: Casetta, Richard, et al.
Published: (2026)
by: Casetta, Richard, et al.
Published: (2026)
The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)
by: Pacheco, Leonardo
Published: (2026)
Constructive Ordinal Exponentiation
by: de Jong, Tom, et al.
Published: (2025)
by: de Jong, Tom, et al.
Published: (2025)
Constructive Quantum Logics
by: Aguilera, Juan P., et al.
Published: (2025)
by: Aguilera, Juan P., et al.
Published: (2025)
The Complexity of the Constructive Master Modality
by: Santiago-Fernández, Sofía, et al.
Published: (2026)
by: Santiago-Fernández, Sofía, et al.
Published: (2026)
Problems and Consequences of Bilateral Notions of (Meta-)Derivability
by: Ayhan, Sara
Published: (2025)
by: Ayhan, Sara
Published: (2025)
An Analysis of Tennenbaum's Theorem in Constructive Type Theory
by: Hermes, Marc, et al.
Published: (2023)
by: Hermes, Marc, et al.
Published: (2023)
PFL: a Probabilistic Logic for Fault Trees
by: Nicoletti, Stefano M., et al.
Published: (2023)
by: Nicoletti, Stefano M., et al.
Published: (2023)
Constructive higher sheaf models with applications to synthetic mathematics
by: Coquand, Thierry, et al.
Published: (2026)
by: Coquand, Thierry, et al.
Published: (2026)
Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
by: de Groot, Jim, et al.
Published: (2026)
by: de Groot, Jim, et al.
Published: (2026)
A Compositional Approach to Diagnosing Faults in Cyber-Physical Systems
by: Graebener, Josefine B., et al.
Published: (2025)
by: Graebener, Josefine B., et al.
Published: (2025)
Proof-Theoretic Functional Completeness for the Connexive Logic C
by: Ayhan, Sara, et al.
Published: (2025)
by: Ayhan, Sara, et al.
Published: (2025)
Flexible Correct-by-Construction Programming
by: Runge, Tobias, et al.
Published: (2022)
by: Runge, Tobias, et al.
Published: (2022)
Querying Fault and Attack Trees: Property Specification on a Water Network
by: Nicoletti, Stefano M., et al.
Published: (2024)
by: Nicoletti, Stefano M., et al.
Published: (2024)
Feasibly Constructive Proof of Schwartz-Zippel Lemma and the Complexity of Finding Hitting Sets
by: Atserias, Albert, et al.
Published: (2024)
by: Atserias, Albert, et al.
Published: (2024)
Effects of the Strict-Tolerant Approach on Intuitionistic and Minimal Logic
by: Barroso-Nascimento, Victor, et al.
Published: (2025)
by: Barroso-Nascimento, Victor, et al.
Published: (2025)
Towards SMT Solver Stability via Input Normalization
by: Amrollahi, Daneshvar, et al.
Published: (2024)
by: Amrollahi, Daneshvar, et al.
Published: (2024)
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
by: Zhang, Changjian, et al.
Published: (2024)
by: Zhang, Changjian, et al.
Published: (2024)
The Limits of Tolerance
by: Miller, Alan D.
Published: (2024)
by: Miller, Alan D.
Published: (2024)
A Note on Constructive Canonical Splitter Strategies in Nowhere Dense Graph Classes
by: Fuchser, Janne, et al.
Published: (2025)
by: Fuchser, Janne, et al.
Published: (2025)
Construction Defining Functionality:A Constructive Perspective on Functions through Their Generated Structures
by: Nishiyama, Yumiko
Published: (2025)
by: Nishiyama, Yumiko
Published: (2025)
Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
by: Lee, Yeonseok
Published: (2026)
by: Lee, Yeonseok
Published: (2026)
Growing a Modular Framework for Modal Systems- HOLMS: a HOL Light Library
by: Bilotta, Antonella
Published: (2025)
by: Bilotta, Antonella
Published: (2025)
A Judgmental Construction of Directed Type Theory
by: Neumann, Jacob
Published: (2025)
by: Neumann, Jacob
Published: (2025)
A No-go Theorem for Coalgebraic Product Construction
by: Kori, Mayuko, et al.
Published: (2025)
by: Kori, Mayuko, et al.
Published: (2025)
The Algebra of Iterative Constructions
by: Batz, Kevin, et al.
Published: (2026)
by: Batz, Kevin, et al.
Published: (2026)
Paraconsistent Existential Graphs Gamma Peirce System
by: Sierra-Aristizabal, Manuel
Published: (2023)
by: Sierra-Aristizabal, Manuel
Published: (2023)
Cut-free Deductive System for Continuous Intuitionistic Logic
by: Geoffroy, Guillaume
Published: (2025)
by: Geoffroy, Guillaume
Published: (2025)
LTLf Synthesis Under Unreliable Input
by: Hagemeier, Christian, et al.
Published: (2024)
by: Hagemeier, Christian, et al.
Published: (2024)
$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
by: Almeida, Rodrigo Nicolau
Published: (2023)
by: Almeida, Rodrigo Nicolau
Published: (2023)
Paraconsistent Constructive Modal Logic
by: Gao, Han, et al.
Published: (2025)
by: Gao, Han, et al.
Published: (2025)
Querying Attack-Fault-Defense Trees: Property Specification in Smart Grid and Aerospace Case Studies
by: Soltani, Reza, et al.
Published: (2025)
by: Soltani, Reza, et al.
Published: (2025)
Construction-Verification: A Benchmark for Applied Mathematics in Lean 4
by: Yang, Bowen, et al.
Published: (2026)
by: Yang, Bowen, et al.
Published: (2026)
A Unifying Approach to Product Constructions for Quantitative Temporal Inference
by: Watanabe, Kazuki, et al.
Published: (2024)
by: Watanabe, Kazuki, et al.
Published: (2024)
Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
by: Lyon, Tim S.
Published: (2024)
by: Lyon, Tim S.
Published: (2024)
Constructive Interpolation and Concept-Based Beth Definability for Description Logics via Sequents
by: Lyon, Tim S., et al.
Published: (2024)
by: Lyon, Tim S., et al.
Published: (2024)
Bringing memory to Boolean networks: a unifying framework
by: Gadouleau, Maximilien, et al.
Published: (2024)
by: Gadouleau, Maximilien, et al.
Published: (2024)
Similar Items
-
FTMPST: Fault-Tolerant Multiparty Session Types
by: Peters, Kirstin, et al.
Published: (2022) -
Correspondence and Inverse Correspondence for Input/Output Logic and Region-Based Theories of Space
by: De Domenico, Andrea, et al.
Published: (2024) -
Fault-Tolerant Multiparty Session Types with Global Escape Loops
by: Bartl, Lukas, et al.
Published: (2025) -
Towards Multiparty Session Types for Highly-Concurrent and Fault-Tolerant Web Applications
by: Casetta, Richard, et al.
Published: (2026) -
The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
by: Pacheco, Leonardo
Published: (2026)