Similar Items: Epistemic Updates on Algebras
- Enumeration and updates for conjunctive linear algebra queries through expressibility
- MSO Queries on Trees: Enumerating Answers under Updates Using Forest Algebras
- Aspects of algebraic Algebras
- Algebraic Language Theory for Eilenberg--Moore Algebras
- Algebraic coherent confluence and higher globular Kleene algebras
- Elgot Algebras