Image de couverture de livre

Pairwise Independence of Representation, Classification, and Composition in Finite Extensional Magmas

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Palmieri, Stefano
Format:	Preprint
Publié:	2026
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

Asynchronous Composition of LTL Properties over Infinite and Finite Traces
par: Bombardelli, Alberto, et autres
Publié: (2023)

Better Extension Variables in DQBF via Independence
par: Chew, Leroy, et autres
Publié: (2025)

Internalizing Representation Independence with Univalence
par: Angiuli, Carlo, et autres
Publié: (2020)

The Pebble-Relation Comonad in Finite Model Theory
par: Montacute, Yoàv, et autres
Publié: (2021)

Embedded Finite Models Beyond Restricted Quantifier Collapse
par: Benedikt, Michael, et autres
Publié: (2023)

Extensional Taylor Expansion
par: Blondeau-Patissier, Lison, et autres
Publié: (2023)

Equivalence and Conditional Independence in Atomic Sheaf Logic
par: Simpson, Alex
Publié: (2024)

Enumerating Independent Linear Inferences
par: Das, Anupam, et autres
Publié: (2021)

Extension preservation on dense graph classes
par: Eleftheriadis, Ioannis
Publié: (2024)

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

Arena-Independent Finite-Memory Determinacy in Stochastic Games
par: Bouyer, Patricia, et autres
Publié: (2021)

On Symbol Elimination and Uniform Interpolation in Theory Extensions
par: Sofronie-Stokkermans, Viorica
Publié: (2025)

Branch-Well-Structured Transition Systems and Extensions
par: Bollig, Benedikt, et autres
Publié: (2022)

Satisfiability Modulo Extensional Constant Arrays (Extended Version)
par: Preiner, Mathias, et autres
Publié: (2026)

Extensions of K5: Proof Theory and Uniform Lyndon Interpolation
par: van der Giessen, Iris, et autres
Publié: (2023)

Dynamic Automated Deduction by Contradiction Separation: The Standard Extension Algorithm
par: Xu, Yang, et autres
Publié: (2025)

Expressiveness of SHACL Features and Extensions for Full Equality and Disjointness Tests
par: Bogaerts, Bart, et autres
Publié: (2022)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
par: Mannucci, Mirco A., et autres
Publié: (2025)

Safe Composition of Systems of Communicating Finite State Machines
par: Barbanera, Franco, et autres
Publié: (2024)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
par: Mannucci, Mirco A., et autres
Publié: (2026)

SC-TPTP: An Extension of the TPTP Derivation Format for Sequent-Based Calculus
par: Cailler, Julie, et autres
Publié: (2025)

Finite Axiomatizability by Disjunctive Existential Rules
par: Calautti, Marco, et autres
Publié: (2025)

Complete Symmetry Breaking for Finite Models
par: Dančo, Marek, et autres
Publié: (2025)

Programs Versus Finite Tree-Programs
par: Moshkov, Mikhail
Publié: (2025)

An SMT-LIB Theory of Finite Fields
par: Hader, Thomas, et autres
Publié: (2024)

An Overview and Comparison of Axiomatization Structures Regarding Inconsistency Indices' Properties in Pairwise Comparisons Methods
par: Pant, Sangeeta, et autres
Publié: (2024)

Comodule Representations of Second-Order Functionals
par: Ahman, Danel, et autres
Publié: (2024)

Representations
par: Brunet, Paul
Publié: (2025)

Finitely accessible arboreal adjunctions and Hintikka formulae
par: Reggio, Luca, et autres
Publié: (2023)

Completeness of Finitely Weighted Kleene Algebra With Tests
par: Sedlár, Igor
Publié: (2024)

Automata Linear Dynamic Logic on Finite Traces
par: Smith, Kevin W., et autres
Publié: (2021)

Automating Bitvector and Finite Field Equivalence Proofs in Lean
par: Pertseva, Elizaveta, et autres
Publié: (2026)

Limited Math: Aligning Mathematical Semantics with Finite Computation
par: Wen, Lian
Publié: (2026)

A Rocq Formalization of Simplicial Lagrange Finite Elements
par: Boldo, Sylvie, et autres
Publié: (2026)

Semantics for Linear-time Temporal Logic with Finite Observations
par: Amjad, Rayhana, et autres
Publié: (2024)

SAT-Based Techniques for Lexicographically Smallest Finite Models
par: Janota, Mikoláš, et autres
Publié: (2025)

Cube-based Isomorph-free Finite Model Finding
par: Chow, Choiwah, et autres
Publié: (2025)

Convergence Laws for Extensions of First-Order Logic with Averaging
par: Adam-Day, Sam, et autres
Publié: (2025)

Partially Finite Model Reasoning in Description Logics Extended Version
par: Gogacz, Tomasz, et autres
Publié: (2026)

A Complete Finite Axiomatisation of the Equational Theory of Common Meadows
par: Bergstra, Jan A, et autres
Publié: (2023)