:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Rashid, Adnan, Abed, Sa'ed, Hasan, Osman
Format:	Preprint
Publié:	2024
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2501.00541
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

On the Formalization of Network Topology Matrices in HOL
par: Aksoy, Kubra, et autres
Publié: (2026)

ReasonOps: A Unified Operational Paradigm for Trustworthy Verified LLM Reasoning
par: Rashid, Adnan
Publié: (2026)

Proof Recommendation System for the HOL4 Theorem Prover
par: Dekhil, Nour, et autres
Publié: (2024)

Circuit Representations of Random Forests with Applications to XAI
par: Ji, Chunxi, et autres
Publié: (2026)

Incompleteness for stably computable formal systems
par: Savelyev, Yasha
Publié: (2022)

Term Ordering Diagrams
par: Hajdu, Márton, et autres
Publié: (2025)

Fuzzy Aristotelian Diagrams
par: Syropoulos, Apostolos
Publié: (2024)

Formal Mechanistic Interpretability: Automated Circuit Discovery with Provable Guarantees
par: Hadad, Itamar, et autres
Publié: (2026)

Compositional Control-Driven Boolean Circuits
par: Arellanes, Damian
Publié: (2025)

Formally Verifying Quantum Phase Estimation Circuits with 1,000+ Qubits
par: Govindankutty, Arun, et autres
Publié: (2026)

String Diagrams for Monoidal Categories, in Rocq
par: Pous, Damien
Publié: (2026)

Dependent Directed Wiring Diagrams for Composing Instantaneous Systems
par: D'Angelo, Keri, et autres
Publié: (2025)

Formal Verification of Parameterized Systems based on Induction
par: Xiu, Jiaqi, et autres
Publié: (2025)

One Day, Everyone Will Have Always Been Against This. By OmarEl Akkad. New York: Alfred A. Knopf, 2025. 208 Pages. $28.00 (Hardcover). ISBN: 978‐0‐59‐380414‐8
par: Sa'ed Atshan
Publié: (2025)

Towards solid abelian groups: A formal proof of Nöbeling's theorem
par: Asgeirsson, Dagur
Publié: (2023)

Meta-Modelling in Formal Concept Analysis
par: Wang, Yingjian
Publié: (2024)

Pareto Fronts for Compositionally Solving String Diagrams of Parity Games
par: Watanabe, Kazuki
Publié: (2024)

Pareto Curves for Compositionally Model Checking String Diagrams of MDPs
par: Watanabe, Kazuki, et autres
Publié: (2024)

Formalizing two-level type theory with cofibrant exo-nat
par: Uskuplu, Elif
Publié: (2023)

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology
par: Huvar, Ondřej, et autres
Publié: (2026)

A formalization of the Gelfond-Schneider theorem
par: Karatarakis, Michail, et autres
Publié: (2026)

A simple formalization of alpha-equivalence
par: Apinis, Kalmer, et autres
Publié: (2025)

Toward a formalization of artifacts in GFO
par: Fiegenbaum, Hanna
Publié: (2024)

A formalization of System I with type Top in Agda
par: Séttimo, Agustín, et autres
Publié: (2026)

Tape Diagrams for Monoidal Monads
par: Bonchi, Filippo, et autres
Publié: (2025)

Enriching Diagrams with Algebraic Operations
par: Villoria, Alejandro, et autres
Publié: (2023)

Certified Knowledge Compilation with Application to Formally Verified Model Counting
par: Bryant, Randal E., et autres
Publié: (2025)

Formalizing equivalences without tears
par: de Jong, Tom
Publié: (2024)

Formalization of Amicable Numbers Theory
par: Chen, Zhipeng, et autres
Publié: (2026)

A Categorical Framework for Modeling with Stock and Flow Diagrams
par: Baez, John C., et autres
Publié: (2022)

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference
par: Alkhairy, Maha, et autres
Publié: (2025)

Formal Modelling and Analysis of Slot Machines
par: Groote, Jan Friso, et autres
Publié: (2024)

Formal Verification of Isothermal Chemical Reactors
par: Feyzishendi, Parivash, et autres
Publié: (2025)

A Theory of Formal Choreographic Languages
par: Barbanera, Franco, et autres
Publié: (2022)

Canonical Decision Diagrams Modulo Theories
par: Michelutti, Massimo, et autres
Publié: (2024)

Tapes as Stochastic Matrices of String Diagrams
par: Bonchi, Filippo, et autres
Publié: (2026)

Promonads and String Diagrams for Effectful Categories
par: Román, Mario
Publié: (2022)

Formal Analysis of Networked PLC Controllers Interacting with Physical Environments
par: Lee, Jaeseo, et autres
Publié: (2025)

PECR: A formal system based on computability logic
par: Pantelis, G.
Publié: (2024)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
par: Vázquez, Gricel, et autres
Publié: (2026)