Similar Items: A Deductive Refinement Calculus for Differential-Algebraic Programs
- Lattice Deduction Transformers
- The Scaling Properties of Implicit Deductive Reasoning in Transformers
- 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