issues
search
subttle
/
kleene
Kleene Algebra (Kozen axioms)
Other
2
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Helpful papers/links
#2
subttle
opened
4 years ago
1
Add rules for bisimulation, sliding, and denesting
#1
subttle
opened
4 years ago
2