Partial Reductions for Kleene Algebra with Linear Hypotheses

Liam Chung, Tobias Kappé

Kleene algebra (KA) is an important tool for reasoning about general program equivalences, with a decidable and complete equational theory. However, KA cannot always prove equivale…