:: Library Catalog

Copertina

Salvato in:

Dettagli Bibliografici
Autore principale:	Palmieri, Stefano
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic in Computer Science
Accesso online:	https://arxiv.org/abs/2603.27007
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
di: Bombardelli, Alberto, et al.
Pubblicazione: (2023)

Better Extension Variables in DQBF via Independence
di: Chew, Leroy, et al.
Pubblicazione: (2025)

Internalizing Representation Independence with Univalence
di: Angiuli, Carlo, et al.
Pubblicazione: (2020)

The Pebble-Relation Comonad in Finite Model Theory
di: Montacute, Yoàv, et al.
Pubblicazione: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
di: Benedikt, Michael, et al.
Pubblicazione: (2023)

Equivalence and Conditional Independence in Atomic Sheaf Logic
di: Simpson, Alex
Pubblicazione: (2024)

Extensional Taylor Expansion
di: Blondeau-Patissier, Lison, et al.
Pubblicazione: (2023)

Arena-Independent Finite-Memory Determinacy in Stochastic Games
di: Bouyer, Patricia, et al.
Pubblicazione: (2021)

An Algebraic Notion of Conditional Independence, and Its Application to Knowledge Representation (full version)
di: Heyninck, Jesse
Pubblicazione: (2024)

Enumerating Independent Linear Inferences
di: Das, Anupam, et al.
Pubblicazione: (2021)

Extension preservation on dense graph classes
di: Eleftheriadis, Ioannis
Pubblicazione: (2024)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
di: van der Giessen, Iris, et al.
Pubblicazione: (2023)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
di: Sofronie-Stokkermans, Viorica
Pubblicazione: (2025)

Branch-Well-Structured Transition Systems and Extensions
di: Bollig, Benedikt, et al.
Pubblicazione: (2022)

Safe Composition of Systems of Communicating Finite State Machines
di: Barbanera, Franco, et al.
Pubblicazione: (2024)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
di: Preiner, Mathias, et al.
Pubblicazione: (2026)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
di: Mannucci, Mirco A., et al.
Pubblicazione: (2025)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
di: Mannucci, Mirco A., et al.
Pubblicazione: (2026)

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
di: Xu, Yang, et al.
Pubblicazione: (2025)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
di: Bogaerts, Bart, et al.
Pubblicazione: (2022)

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
di: Pant, Sangeeta, et al.
Pubblicazione: (2024)

Comodule Representations of Second-Order Functionals
di: Ahman, Danel, et al.
Pubblicazione: (2024)

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

Finite Axiomatizability by Disjunctive Existential Rules
di: Calautti, Marco, et al.
Pubblicazione: (2025)

Complete Symmetry Breaking for Finite Models
di: Dančo, Marek, et al.
Pubblicazione: (2025)

Programs Versus Finite Tree-Programs
di: Moshkov, Mikhail
Pubblicazione: (2025)

An SMT-LIB Theory of Finite Fields
di: Hader, Thomas, et al.
Pubblicazione: (2024)

Intersection Types via Finite-Set Declarations
di: Kamareddine, Fairouz, et al.
Pubblicazione: (2024)

Representations
di: Brunet, Paul
Pubblicazione: (2025)

Convergence Laws for Extensions of First-Order Logic with Averaging
di: Adam-Day, Sam, et al.
Pubblicazione: (2025)

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

Completeness of Finitely Weighted Kleene Algebra With Tests
di: Sedlár, Igor
Pubblicazione: (2024)

Automata Linear Dynamic Logic on Finite Traces
di: Smith, Kevin W., et al.
Pubblicazione: (2021)

Cardinality and Representation of Stone Relation Algebras
di: Furusawa, Hitoshi, et al.
Pubblicazione: (2023)

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

Limited Math: Aligning Mathematical Semantics with Finite Computation
di: Wen, Lian
Pubblicazione: (2026)

A Rocq Formalization of Simplicial Lagrange Finite Elements
di: Boldo, Sylvie, et al.
Pubblicazione: (2026)

Semantics for Linear-time Temporal Logic with Finite Observations
di: Amjad, Rayhana, et al.
Pubblicazione: (2024)

SAT-Based Techniques for Lexicographically Smallest Finite Models
di: Janota, Mikoláš, et al.
Pubblicazione: (2025)

Cube-based Isomorph-free Finite Model Finding
di: Chow, Choiwah, et al.
Pubblicazione: (2025)