Skip to content

A Completeness Theorem fro Nondeterministic Kleene Algebras.

Rocco De Nicola, Anna Labella

VenueBMFCS
Year1994
ProceedingsMFCS

Browse the full MFCS paper archive.