:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autores principales:	Cailler, Julie, Delorme, Noé, Perdrix, Simon, Tourret, Sophie
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science
Acceso en línea:	https://arxiv.org/abs/2602.11035
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
por: Cailler, Julie, et al.
Publicado: (2025)

TableauxRocq: A Deep Embedding of Free-Variable Tableaux in Rocq
por: Rosain, Johann, et al.
Publicado: (2026)

Diagrammatic Reasoning with Control as a Constructor, Applications to Quantum Circuits
por: Delorme, Noé, et al.
Publicado: (2025)

Quantum Control and General Recursion beyond the Unitary Case
por: Barsse, Kathleen, et al.
Publicado: (2025)

Revisiting Differential Verification: Equivalence Verification with Confidence
por: Teuber, Samuel, et al.
Publicado: (2024)

A Diagrammatic Basis for Computer Programming
por: Bonchi, Filippo, et al.
Publicado: (2025)

A Diagrammatic Algebra for Program Logics
por: Bonchi, Filippo, et al.
Publicado: (2024)

Guiding Word Equation Solving using Graph Neural Networks (Extended Technical Report)
por: Abdulla, Parosh Aziz, et al.
Publicado: (2024)

Diagrammatic Polyhedral Algebra
por: Bonchi, Filippo, et al.
Publicado: (2021)

Characterizing Equivalence of Logically Constrained Terms via Existentially Constrained Terms (Full Version)
por: Takahata, Kanta, et al.
Publicado: (2025)

A Complete Diagrammatic Calculus for Conditional Gaussian Mixtures
por: Torres-Ruiz, Mateo, et al.
Publicado: (2025)

Diagrammatic Algebra of First Order Logic
por: Bonchi, Filippo, et al.
Publicado: (2024)

A Principled Solution to the Disjunction Problem of Diagrammatic Query Representations
por: Gatterbauer, Wolfgang
Publicado: (2024)

Towards Counting Markov Equivalence Classes with Logical Constraints
por: Bizzaro, Davide, et al.
Publicado: (2024)

Automated Verification of Equivalence Properties in Advanced Logic Programs -- Bachelor Thesis
por: Heuer, Jan
Publicado: (2023)

Complete Diagrammatic Axiomatisations of Relative Entropy
por: Sarkis, Ralph, et al.
Publicado: (2026)

Equivalence and Conditional Independence in Atomic Sheaf Logic
por: Simpson, Alex
Publicado: (2024)

A Comprehensive Tutorial on over 100 Years of Diagrammatic Representations of Logical Statements and Relational Queries
por: Gatterbauer, Wolfgang
Publicado: (2024)

Machine-Checked Categorical Diagrammatic Reasoning
por: Guillemet, Benoît, et al.
Publicado: (2024)

Unifying Model Execution and Deductive Verification with Interaction Trees in Isabelle/HOL
por: Foster, Simon, et al.
Publicado: (2024)

Stuttering Equivalence for Parity Games
por: Cranen, Sjoerd, et al.
Publicado: (2011)

Graded Monads and Behavioural Equivalence Games
por: Ford, Chase, et al.
Publicado: (2022)

Formal Verification of Parameterized Systems based on Induction
por: Xiu, Jiaqi, et al.
Publicado: (2025)

A Unifying Approach to Probabilistic Testing Equivalences
por: Chen, Weijun, et al.
Publicado: (2025)

Deductive Verification of Weak Memory Programs with View-based Protocols (extended version)
por: Şakar, Ömer, et al.
Publicado: (2026)

Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements
por: Dewes, Rafael, et al.
Publicado: (2024)

Interaction Equivalence
por: Accattoli, Beniamino, et al.
Publicado: (2024)

Automating Bitvector and Finite Field Equivalence Proofs in Lean
por: Pertseva, Elizaveta, et al.
Publicado: (2026)

A Diagrammatic Axiomatisation of Behavioural Distance of Nondeterministic Processes
por: Różowski, Wojciech, et al.
Publicado: (2026)

Layered Monoidal Theories I: Diagrammatic Algebra and Applications
por: Lobski, Leo, et al.
Publicado: (2026)

Craig Interpolation in Program Verification
por: Rümmer, Philipp
Publicado: (2026)

Verification of Configurable SRA Systems
por: Cimatti, Alessandro, et al.
Publicado: (2026)

Hyperproperty Verification as CHC Satisfiability
por: Itzhaky, Shachar, et al.
Publicado: (2023)

Tools at the Frontiers of Quantitative Verification
por: Andriushchenko, Roman, et al.
Publicado: (2024)

Identifying and Explaining (Non-)Equivalence of First-Order Logic Formulas
por: Vehlken, Fabian, et al.
Publicado: (2026)

Equilibrium Semantics and Strong Equivalence for Higher-Order Logic Programs
por: Charalambidis, Angelos, et al.
Publicado: (2026)

The Implication Problem for Functional Dependencies and Variants of Marginal Distribution Equivalences
por: Hirvonen, Minna
Publicado: (2023)

Modular assurance of an Autonomous Ferry using Contract-Based Design and Simulation-based Verification Principles
por: Glomsrud, Jon Arne, et al.
Publicado: (2024)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems
por: Jamroga, Wojciech, et al.
Publicado: (2025)

Towards Automated Verification of Logarithmic Arithmetic
por: Arnold, Mark G., et al.
Publicado: (2024)