:: Library Catalog

Image de couverture de livre

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Kötters, Jens, Schmidt, Stefan E.
Format:	Preprint
Publié:	2024
Sujets:	Logic
Accès en ligne:	https://arxiv.org/abs/2404.01354
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Completeness of Relational Algebra via Cylindric Algebra
par: Laštovička, Jan
Publié: (2026)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
par: Wißmann, Thorsten, et autres
Publié: (2024)

Conjunctive reducibilities and completeness
par: Chitaia, Irakli, et autres
Publié: (2026)

Conjunctive categorial grammars and Lambek grammars with additives
par: Kuznetsov, Stepan L., et autres
Publié: (2024)

The Weisfeiler-Leman Dimension of Conjunctive Queries
par: Göbel, Andreas, et autres
Publié: (2023)

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

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

Topological Dualities for Modal Algebras
par: Collinson, Matthew
Publié: (2026)

$Π_{2}$-Rule Systems and Inductive Classes of Gödel Algebras
par: Almeida, Rodrigo Nicolau
Publié: (2023)

Direct Access for Answers to Conjunctive Queries with Aggregation
par: Eldar, Idan, et autres
Publié: (2023)

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
par: Figueira, Diego, et autres
Publié: (2025)

Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries
par: Riveros, Cristian, et autres
Publié: (2026)

The Algebras of Lewis's Counterfactuals
par: Rosella, Giuliano, et autres
Publié: (2024)

Cardinality and Representation of Stone Relation Algebras
par: Furusawa, Hitoshi, et autres
Publié: (2023)

Nonembeddings of Combinatory Algebras
par: Lutz, Patrick, et autres
Publié: (2026)

Revisiting Conjunctive Query Entailment for $\mathcal S$
par: Ibáñez-García, Yazmín, et autres
Publié: (2025)

Morita Rigidity for Kleene Algebras
par: Serafin, Luke
Publié: (2025)

Uniform Preorders and Partial Combinatory Algebras
par: Frey, Jonas
Publié: (2024)

On a Generalization of Heyting Algebras I
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2024)

On a Generalization of Heyting Algebras II
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2024)

A Proof Theory for Profinite Modal Algebras
par: De Berardinis, Matteo, et autres
Publié: (2025)

A new categorial equivalence for Stone Algebras
par: Calomino, Ismael, et autres
Publié: (2025)

Continuous Algebras with Hypotheses
par: Mulder, Lukas, et autres
Publié: (2026)

The Algebra of Iterative Constructions
par: Batz, Kevin, et autres
Publié: (2026)

The Algebra of Parity Games
par: Piedeleu, Robin
Publié: (2025)

Characterizing Finitely Based Abelian Mal'cev Algebras
par: Muro, Mateo
Publié: (2024)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
par: Jana, Purbita, et autres
Publié: (2025)

Semantic Tree-Width and Path-Width of Conjunctive Regular Path Queries
par: Figueira, Diego, et autres
Publié: (2022)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
par: Ramani, Mahesh, et autres
Publié: (2026)

Forcing, Transition Algebras, and Calculi
par: Go, Hashimoto, et autres
Publié: (2024)

Linear Realisability and Implicative Algebras
par: Lucquin, Alexandre, et autres
Publié: (2026)

Effect Algebras as Omega-categories
par: Perticone, Lorenzo, et autres
Publié: (2023)

Induction rules for Transition Algebra
par: Hashimoto, Go
Publié: (2026)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
par: Rooduijn, Jan, et autres
Publié: (2024)

Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
par: Illmer, Maximilian
Publié: (2026)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
par: Achammer, Fabian, et autres
Publié: (2025)

Computing Witnesses Using the SCAN Algorithm
par: Achammer, Fabian, et autres
Publié: (2026)

A Diagrammatic Algebra for Program Logics
par: Bonchi, Filippo, et autres
Publié: (2024)

On Tools for Completeness of Kleene Algebra with Hypotheses
par: Pous, Damien, et autres
Publié: (2022)

Compact Quantitative Theories of Convex Algebras
par: Mio, Matteo
Publié: (2025)