Similar Items: The Algebra of Iterative Constructions
- Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
- Induction rules for Transition Algebra
- Multiset semantics in SPARQL, Relational Algebra and Datalog
- Verification of Neural Networks (Lecture Notes)
- Quantum Bayesian Networks: Compositionality and Typing via Linear Logic
- Automaton-based Characterisations of First Order Logic over Infinite Trees