Copertina

Conjunctive Table Algebras

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Kötters, Jens, Schmidt, Stefan E.
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

Conjunctive reducibilities and completeness
di: Chitaia, Irakli, et al.
Pubblicazione: (2026)

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

Rings and Boolean Algebras as Algebraic Theories
di: De Faveri, Arturo
Pubblicazione: (2025)

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

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

Topological Dualities for Modal Algebras
di: Collinson, Matthew
Pubblicazione: (2026)

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

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

Nonembeddings of Combinatory Algebras
di: Lutz, Patrick, et al.
Pubblicazione: (2026)

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

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

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

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

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

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

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

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

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

Characterizing Finitely Based Abelian Mal'cev Algebras
di: Muro, Mateo
Pubblicazione: (2024)

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

Uniform Preorders and Partial Combinatory Algebras
di: Frey, Jonas
Pubblicazione: (2024)

Morita Rigidity for Kleene Algebras
di: Serafin, Luke
Pubblicazione: (2025)

Continuous Algebras with Hypotheses
di: Mulder, Lukas, et al.
Pubblicazione: (2026)

The Algebra of Iterative Constructions
di: Batz, Kevin, et al.
Pubblicazione: (2026)

The Algebra of Parity Games
di: Piedeleu, Robin
Pubblicazione: (2025)

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

Forcing, Transition Algebras, and Calculi
di: Go, Hashimoto, et al.
Pubblicazione: (2024)

Linear Realisability and Implicative Algebras
di: Lucquin, Alexandre, et al.
Pubblicazione: (2026)

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

Induction rules for Transition Algebra
di: Hashimoto, Go
Pubblicazione: (2026)

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

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

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

Compact Quantitative Theories of Convex Algebras
di: Mio, Matteo
Pubblicazione: (2025)

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

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

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

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