https://arxiv.org/abs/1507.07246
[1507.07246] On the Expressive Power of Kleene Algebra with Domain
Abstract page for arXiv paper 1507.07246: On the Expressive Power of Kleene Algebra with Domain
on theexpressive powerkleene algebra150707246
https://deepai.org/publication/guarded-kleene-algebra-with-tests-coequations-coinduction-and-completeness
Guarded Kleene Algebra with Tests: Coequations, Coinduction, and Completeness | DeepAI
Feb 16, 2021 - 02/16/21 - Guarded Kleene Algebra with Tests (GKAT) is an efficient fragment of KAT, as it allows for almost linear decidability of equivalen...
kleene algebraguardedtestscoinductioncompleteness
https://deepai.org/publication/a-complete-inference-system-for-skip-free-guarded-kleene-algebra-with-tests
A Complete Inference System for Skip-free Guarded Kleene Algebra with Tests | DeepAI
Jan 26, 2023 - 01/26/23 - Guarded Kleene Algebra with Tests (GKAT) is a fragment of Kleene Algebra with Tests (KAT) that was recently introduced to reason e...