Image de couverture de livre

Structural Analysis of Boolean Equation Systems

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Keiren, Jeroen, Reniers, Michel A., Willemse, Tim A. C.
Format:	Preprint
Publié:	2010
Sujets:	Logic in Computer Science
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

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

Stuttering Equivalence for Parity Games
par: Cranen, Sjoerd, et autres
Publié: (2011)

Efficient Evidence Generation for Modal $μ$-Calculus Model Checking (extended version)
par: Stramaglia, Anna, et autres
Publié: (2025)

Benchmarks for Parity Games (extended version)
par: Keiren, Jeroen J. A.
Publié: (2014)

Tutorial: Designing Distributed Software in mCRL2
par: Groote, Jan Friso, et autres
Publié: (2021)

Expressiveness Results for Timed Modal Mu-Calculi
par: Cleaveland, Rance, et autres
Publié: (2023)

Deadlock in packet switching networks
par: Stramaglia, Anna, et autres
Publié: (2021)

A simpler O(m log n) algorithm for branching bisimilarity on labelled transition systems
par: Jansen, David N., et autres
Publié: (2019)

Progress, Justness and Fairness in Modal $μ$-Calculus Formulae
par: Spronck, Myrthe, et autres
Publié: (2024)

Fair Mutual Exclusion for N Processes (extended version)
par: Hafidi, Yousra, et autres
Publié: (2021)

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

On Explicit Solutions to Fixed-Point Equations in Propositional Dynamic Logic
par: Lyon, Tim S.
Publié: (2024)

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

Modelling the Raft Distributed Consensus Protocol in mCRL2
par: Bora, Parth, et autres
Publié: (2024)

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

Unifying Sequent Systems for Gödel-Löb Provability Logic via Syntactic Transformations
par: Lyon, Tim S.
Publié: (2024)

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

Constructing Weakly Terminating Interface Protocols
par: Bera, Debjyoti, et autres
Publié: (2026)

Nested Sequents for Intuitionistic Grammar Logics via Structural Refinement
par: Lyon, Tim S.
Publié: (2022)

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

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

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

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

Simplifier: A New Tool for Boolean Circuit Simplification
par: Averkov, Daniil, 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)

Nested Sequents for Intermediate Logics: The Case of Gödel-Dummett Logics
par: Lyon, Tim S.
Publié: (2023)

Realizing the Maximal Analytic Display Fragment of Labeled Sequent Calculi for Tense Logics
par: Lyon, Tim S.
Publié: (2024)

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

Operations on Fixpoint Equation Systems
par: Neele, Thomas, et autres
Publié: (2023)

Deciding Equations in the Time Warp Algebra
par: van Gool, Sam, et autres
Publié: (2023)

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

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

Nested Sequents for Horn-Characterizable Quantified Modal Logics with Equality via Reachability Rules
par: Lyon, Tim S., et autres
Publié: (2026)

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

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

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

Decidability of Quasi-Dense Modal Logics
par: Ostropolski-Nalewaja, Piotr, et autres
Publié: (2024)

Proof Theory and Decision Procedures for Deontic STIT Logics
par: Lyon, Tim S., et autres
Publié: (2024)

Taking Bi-Intuitionistic Logic First-Order: A Proof-Theoretic Investigation via Polytree Sequents
par: Lyon, Tim S., et autres
Publié: (2024)