The $$\theta $$-Join as a Join with $$\theta $$
From MaRDI portal
Publication:5098712
DOI10.1007/978-3-030-43520-2_4OpenAlexW3014574516MaRDI QIDQ5098712
Jules Desharnais, Bernhard Möller
Publication date: 30 August 2022
Published in: Relational and Algebraic Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-030-43520-2_4
Uses Software
Cites Work
- Algebraic separation logic
- CalcCheck: a proof checker for teaching the ``Logical approach to discrete math
- An algebra of database preferences
- Reverse Exchange for Concurrency and Local Reasoning
- The Teaching Tool CalcCheck A Proof-Checker for Gries and Schneider’s “Logical Approach to Discrete Math”
- Kleene algebra with domain
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The $$\theta $$-Join as a Join with $$\theta $$