Imagen de Portada

Conjunctive Table Algebras

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Kötters, Jens, Schmidt, Stefan E.
Formato:	Preprint
Publicado:	2024
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Completeness of Relational Algebra via Cylindric Algebra
por: Laštovička, Jan
Publicado: (2026)

Initial Algebras Unchained -- A Novel Initial Algebra Construction Formalized in Agda
por: Wißmann, Thorsten, et al.
Publicado: (2024)

Conjunctive reducibilities and completeness
por: Chitaia, Irakli, et al.
Publicado: (2026)

Deciding Equations in the Time Warp Algebra
por: van Gool, Sam, et al.
Publicado: (2023)

Rings and Boolean Algebras as Algebraic Theories
por: De Faveri, Arturo
Publicado: (2025)

Conjunctive categorial grammars and Lambek grammars with additives
por: Kuznetsov, Stepan L., et al.
Publicado: (2024)

The Weisfeiler-Leman Dimension of Conjunctive Queries
por: Göbel, Andreas, et al.
Publicado: (2023)

Topological Dualities for Modal Algebras
por: Collinson, Matthew
Publicado: (2026)

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

The Algebras of Lewis's Counterfactuals
por: Rosella, Giuliano, et al.
Publicado: (2024)

Nonembeddings of Combinatory Algebras
por: Lutz, Patrick, et al.
Publicado: (2026)

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

A Common Ancestor of PDL, Conjunctive Queries, and Unary Negation First-order
por: Figueira, Diego, et al.
Publicado: (2025)

Structural Indexing of Relational Databases for the Evaluation of Free-Connex Acyclic Conjunctive Queries
por: Riveros, Cristian, et al.
Publicado: (2026)

On a Generalization of Heyting Algebras I
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2024)

On a Generalization of Heyting Algebras II
por: Tabatabai, Amirhossein Akbar, et al.
Publicado: (2024)

Direct Access for Answers to Conjunctive Queries with Aggregation
por: Eldar, Idan, et al.
Publicado: (2023)

A Proof Theory for Profinite Modal Algebras
por: De Berardinis, Matteo, et al.
Publicado: (2025)

A new categorial equivalence for Stone Algebras
por: Calomino, Ismael, et al.
Publicado: (2025)

Revisiting Conjunctive Query Entailment for $\mathcal S$
por: Ibáñez-García, Yazmín, et al.
Publicado: (2025)

Characterizing Finitely Based Abelian Mal'cev Algebras
por: Muro, Mateo
Publicado: (2024)

Continuous Algebra: Algebraic Semantics for Continuous Propositional Logic
por: Jana, Purbita, et al.
Publicado: (2025)

Uniform Preorders and Partial Combinatory Algebras
por: Frey, Jonas
Publicado: (2024)

Morita Rigidity for Kleene Algebras
por: Serafin, Luke
Publicado: (2025)

Continuous Algebras with Hypotheses
por: Mulder, Lukas, et al.
Publicado: (2026)

The Algebra of Iterative Constructions
por: Batz, Kevin, et al.
Publicado: (2026)

The Algebra of Parity Games
por: Piedeleu, Robin
Publicado: (2025)

Quantifier Elimination and Invariant Theory: Applications to Quaternions, Octonions, and Other Algebras
por: Illmer, Maximilian
Publicado: (2026)

Forcing, Transition Algebras, and Calculi
por: Go, Hashimoto, et al.
Publicado: (2024)

Linear Realisability and Implicative Algebras
por: Lucquin, Alexandre, et al.
Publicado: (2026)

Effect Algebras as Omega-categories
por: Perticone, Lorenzo, et al.
Publicado: (2023)

Induction rules for Transition Algebra
por: Hashimoto, Go
Publicado: (2026)

A cyclic proof system for Guarded Kleene Algebra with Tests (full version)
por: Rooduijn, Jan, et al.
Publicado: (2024)

A Diagrammatic Algebra for Program Logics
por: Bonchi, Filippo, et al.
Publicado: (2024)

On Tools for Completeness of Kleene Algebra with Hypotheses
por: Pous, Damien, et al.
Publicado: (2022)

Compact Quantitative Theories of Convex Algebras
por: Mio, Matteo
Publicado: (2025)

Model-theoretic Forcing in Transition Algebra
por: Hashimoto, Go, et al.
Publicado: (2025)

An Optimal 14-Symbol Hybrid Basis for BCH-Algebras
por: Ramani, Mahesh, et al.
Publicado: (2026)

Computing Witnesses Using the SCAN Algorithm (Extended Preprint)
por: Achammer, Fabian, et al.
Publicado: (2025)

Computing Witnesses Using the SCAN Algorithm
por: Achammer, Fabian, et al.
Publicado: (2026)