A Coalgebraic Approach to Kleene Algebra with Tests

What this record says

Kleene algebra with tests is an extension of Kleene algebra, the algebra of regular expressions, which can be used to

CATALOG · The abstract is indexed.