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