scientific article; zbMATH DE number 7779293
From MaRDI portal
Publication:6068932
arXiv2207.00850MaRDI QIDQ6068932
Robin Kaarsgaard, Mikkel Kragh Mathiesen, Fritz Henglein
Publication date: 15 December 2023
Full work available at URL: https://arxiv.org/abs/2207.00850
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Cites Work
- Unnamed Item
- Unnamed Item
- Arrow categories
- Sets with a negative number of elements
- Characteristic functions and the algebra of logic
- An algorithm for handling many relational calculus queries efficiently.
- Sorting and Searching by Distribution: From Generic Discrimination to Generic Tries
- Query evaluation via tree-decompositions
- Matrices as Arrows!
- Constraint solving via fractional edge covers
- An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
- Generalizing generalized tries
- Worst-case Optimal Join Algorithms
- An introduction to algebraic effects and handlers (invited tutorial paper)
This page was built for publication: