114
click to vote
MPC
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we define Kleene algebra with tests in a slightly more general way than Kozen’s definition. Then we give an explicit construction of the free Kleene algebra with...