Abstract
Kleene algebra axioms are complete with respect to both language models and binary relation models. In particular, two regular expressions recognise t......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
