Copertina

The QBF Gallery 2023

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Heisinger, Simone, Pulina, Luca, Seidl, Martina
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

On Proof Systems for #QBF
di: Chede, Sravanthi, et al.
Pubblicazione: (2026)

Understanding the Relative Strength of QBF CDCL Solvers and QBF Resolution
di: Beyersdorff, Olaf, et al.
Pubblicazione: (2021)

Towards Uniform Certification in QBF
di: Chew, Leroy, et al.
Pubblicazione: (2022)

QBF Merge Resolution is powerful but unnatural
di: Mahajan, Meena, et al.
Pubblicazione: (2022)

Semi-Algebraic Proof Systems for QBF
di: Beyersdorff, Olaf, et al.
Pubblicazione: (2025)

Symmetries of Dependency Quantified Boolean Formulas
di: Hofstadler, Clemens, et al.
Pubblicazione: (2024)

Existential and positive games: a comonadic and axiomatic view
di: Abramsky, Samson, et al.
Pubblicazione: (2025)

On the Axioms of Arboreal Categories
di: Jakl, Tomáš, et al.
Pubblicazione: (2026)

Arboreal Categories: An Axiomatic Theory of Resources
di: Abramsky, Samson, et al.
Pubblicazione: (2021)

CHC-COMP 2023: Competition Report
di: De Angelis, Emanuele, et al.
Pubblicazione: (2024)

Finitely accessible arboreal adjunctions and Hintikka formulae
di: Reggio, Luca, et al.
Pubblicazione: (2023)

A framework to measure the robustness of programs in the unpredictable environment
di: Castiglioni, Valentina, et al.
Pubblicazione: (2021)

A General Automata Model for First-Order Temporal Logics (Extended Version)
di: Geatti, Luca, et al.
Pubblicazione: (2024)

Sequent Calculi for Data-Aware Modal Logics
di: Areces, Carlos, et al.
Pubblicazione: (2025)

More Church-Rosser Proofs in BELUGA
di: Momigliano, Alberto, et al.
Pubblicazione: (2024)

Policies for Fair Exchanges of Resources
di: Ceragioli, Lorenzo, et al.
Pubblicazione: (2024)

The Complexity of Deciding Characteristic Formulae Modulo Nested Simulation (extended abstract)
di: Aceto, Luca, et al.
Pubblicazione: (2025)

Deciding characteristic formulae: A journey in the branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2025)

The complexity of deciding characteristic formulae in van Glabbeek's branching-time spectrum
di: Aceto, Luca, et al.
Pubblicazione: (2024)

When Are Prime Formulae Characteristic?
di: Aceto, Luca, et al.
Pubblicazione: (2024)

A unified rule format for bounded nondeterminism in SOS with terms as labels
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Logical characterisations, rule formats and compositionality for input-output conformance simulation
di: Aceto, Luca, et al.
Pubblicazione: (2024)

Complexity results for modal logic with recursion via translations and tableaux
di: Aceto, Luca, et al.
Pubblicazione: (2023)

Complexity of Safety and coSafety Fragments of Linear Temporal Logic
di: Artale, Alessandro, et al.
Pubblicazione: (2022)

On the Decidability of Presburger Arithmetic Expanded with Powers
di: Karimov, Toghrul, et al.
Pubblicazione: (2024)

Generalized Decidability via Brouwer Trees
di: de Jong, Tom, et al.
Pubblicazione: (2026)

Constructive higher sheaf models with applications to synthetic mathematics
di: Coquand, Thierry, et al.
Pubblicazione: (2026)

Uniform interpolation with constructive diamond
di: van der Giessen, Iris, et al.
Pubblicazione: (2026)

A Linear Temporal Logic of Frequencies on Series of Events
di: Antonelli, Melissa, et al.
Pubblicazione: (2026)

A Dual-Threshold Probabilistic Knowing Value Logic
di: Wang, Shanxia
Pubblicazione: (2026)

Refutation calculi for lattice-based logics: from display to tableaux
di: De Domenico, Andrea, et al.
Pubblicazione: (2026)

Duality for Constructive Modal Logics: from Sahqlvist to Goldblatt-Thomason
di: de Groot, Jim, et al.
Pubblicazione: (2026)

The Constructive $μ$-calculus: Game Semantics and Non-Wellfounded Proof Systems
di: Pacheco, Leonardo
Pubblicazione: (2026)

Non-Derivability Results in Polymorphic Dependent Type Theory
di: Geuvers, Herman
Pubblicazione: (2026)

On the expressive power of inquisitive team logic and inquisitive first-order logic
di: Kontinen, Juha, et al.
Pubblicazione: (2026)

Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
di: Wang, Shanxia
Pubblicazione: (2026)

Decidability of Quantum Modal Logic
di: Tokuo, Kenji
Pubblicazione: (2026)

Wider systems for linear logic with fixed points: proof theory and complexity
di: Das, Anupam, et al.
Pubblicazione: (2026)

Relational semantics for flat Heyting-Lewis Logic
di: de Groot, Jim, et al.
Pubblicazione: (2026)

The Complexity of the Constructive Master Modality
di: Santiago-Fernández, Sofía, et al.
Pubblicazione: (2026)