Similar Items: Induction rules for Transition Algebra
- Templates in Rewriting Induction
- The Algebra of Iterative Constructions
- Algebraic Semantics of Governed Execution: Monoidal Categories, Effect Algebras, and Coterminous Boundaries
- Multiset semantics in SPARQL, Relational Algebra and Datalog
- Weighted Rules under the Stable Model Semantics
- A Deductive Refinement Calculus for Differential-Algebraic Programs