Similar Items: Multiset semantics in SPARQL, Relational Algebra and Datalog
- Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
- Efficient Temporal Datalog Materialisation for Composite Event Recognition
- The Algebra of Iterative Constructions
- Induction rules for Transition Algebra
- Efficient Decision Procedures for RNmatrix Semantics
- Continuations and Completeness in Proof-theoretic Semantics