Login / Signup

A coalgebraic approach to Kleene algebra with tests.

Hubie ChenRiccardo Pucella
Published in: Theor. Comput. Sci. (2004)
Keyphrases