:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteur principal:	Arellanes, Damian
Format:	Preprint
Publié:	2025
Sujets:	Logic in Computer Science
Accès en ligne:	https://arxiv.org/abs/2506.22687
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Colimit-Based Composition of High-Level Computing Devices
par: Arellanes, Damian
Publié: (2026)

Models of High-Level Computation
par: Arellanes, Damian
Publié: (2024)

Compositional Separation of Control Flow and Data Flow
par: Arellanes, Damian
Publié: (2023)

Simplifier: A New Tool for Boolean Circuit Simplification
par: Averkov, Daniil, et autres
Publié: (2025)

Rings and Boolean Algebras as Algebraic Theories
par: De Faveri, Arturo
Publié: (2025)

Pruning Boolean d-DNNF Circuits Through Tseitin-Awareness
par: Derkinderen, Vincent
Publié: (2024)

Cirbo: A New Tool for Boolean Circuit Analysis and Synthesis
par: Averkov, Daniil, et autres
Publié: (2024)

The Unit Gap: How Sharing Works in Boolean Circuits
par: Krinkin, Kirill
Publié: (2026)

Boolean basis, formula size, and number of modal operators
par: Berkholz, Christoph, et autres
Publié: (2024)

Termination of Rewriting on Reversible Boolean Circuits as a Free 3-Category Problem
par: Barile, Adriano, et autres
Publié: (2024)

Satisfiability of Quantified Boolean Announcements
par: van Ditmarsch, Hans, et autres
Publié: (2022)

Improved Static Analysis of Parameterised Boolean Equation Systems using Control Flow Reconstruction
par: Keiren, Jeroen J. A., et autres
Publié: (2013)

Symmetries of Dependency Quantified Boolean Formulas
par: Hofstadler, Clemens, et autres
Publié: (2024)

Structural Analysis of Boolean Equation Systems
par: Keiren, Jeroen, et autres
Publié: (2010)

On Top-Down Pseudo-Boolean Model Counting
par: Yang, Suwei, et autres
Publié: (2025)

Bringing memory to Boolean networks: a unifying framework
par: Gadouleau, Maximilien, et autres
Publié: (2024)

Practical Boolean Decomposition for Delay-driven LUT Mapping
par: Calvino, Alessandro Tempia, et autres
Publié: (2024)

Bridging abstract dialectical argumentation and Boolean gene regulation
par: Azpeitia, Eugenio, et autres
Publié: (2024)

Model Counting for Dependency Quantified Boolean Formulas
par: Fung, Long-Hin, et autres
Publié: (2025)

On the Number of Quantifiers Needed to Define Boolean Functions
par: Carmosino, Marco, et autres
Publié: (2024)

Logics with probabilistic team semantics and the Boolean negation
par: Hannula, Miika, et autres
Publié: (2023)

Scalable Counting of Minimal Trap Spaces and Fixed Points in Boolean Networks
par: Kabir, Mohimenul, et autres
Publié: (2025)

Deciding Boolean Separation Logic via Small Models (Technical Report)
par: Dacík, Tomáš, et autres
Publié: (2024)

Model-Based Diagnosis with Multiple Observations: A Unified Approach for C Software and Boolean Circuits
par: Orvalho, Pedro, et autres
Publié: (2025)

On the number of asynchronous attractors in AND-NOT Boolean networks
par: Trinh, Van-Giang, et autres
Publié: (2025)

On the Boolean Network Theory of Datalog$^\neg$
par: Trinh, Van-Giang, et autres
Publié: (2025)

Scalable Interconnect Learning in Boolean Networks
par: Kresse, Fabian, et autres
Publié: (2025)

Boolean proportions
par: Antić, Christian
Publié: (2021)

A Compositional Atlas for Algebraic Circuits
par: Wang, Benjie, et autres
Publié: (2024)

Boolean Matrix Logic Programming on the GPU
par: Ai, Lun
Publié: (2024)

Formalization of Biological Circuit Block Diagrams for formally analyzing Biomedical Control Systems in pHRI Applications
par: Rashid, Adnan, et autres
Publié: (2024)

Static Analysis of Logic Programs via Boolean Networks
par: Trinh, Van-Giang, et autres
Publié: (2024)

Towards Projected and Incremental Pseudo-Boolean Model Counting
par: Yang, Suwei, et autres
Publié: (2024)

Complexity of Satisfiability in Kochen-Specker Partial Boolean Algebras
par: Dawar, Anuj, et autres
Publié: (2026)

PBLean: Pseudo-Boolean Proof Certificates for Lean 4
par: Szeider, Stefan
Publié: (2026)

A Dichotomy Theorem for Ordinal Ranks in MSO
par: Niwiński, Damian, et autres
Publié: (2025)

On the Computability of Measures of Regular Sets of Infinite Trees
par: Niwiński, Damian, et autres
Publié: (2023)

Descriptive complexity for neural networks via Boolean networks
par: Ahvonen, Veeti, et autres
Publié: (2023)

Boolean Variation and Boolean Logic BackPropagation
par: Nguyen, Van Minh
Publié: (2023)

Power Term Polynomial Algebra for Boolean Logic
par: Sansone, Emanuele, et autres
Publié: (2026)