Old Web
English
Sign In
Acemap
>
Paper
>
Equivalence checking for weak bi-Kleene algebra. (arXiv:1807.02102v3 [cs.FL] UPDATED)
Equivalence checking for weak bi-Kleene algebra. (arXiv:1807.02102v3 [cs.FL] UPDATED)
2020
Tobias Kappé
Paul Brunet
Bas Luttik
Alexandra Silva
Fabio Zanasi
Keywords:
Mathematics
Kleene algebra
Discrete mathematics
Formal equivalence checking
Correction
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]