Mario Román
Search
Search
Dark mode
Light mode
Explorer
Home
❯
notes
❯
action algebra
action algebra
Jul 24, 2025
1 min read
References.
On Action Algebras (Kozen)
Action Logic and Pure Induction (Pratt)
Tags:
Kleene algebra
.
Graph View