A Completeness Theorem fro Nondeterministic Kleene Algebras

• Authors:

• Rocco De Nicola;Anna Labella

• Affiliations:

• -;-

• Venue:
• MFCS '94 Proceedings of the 19th International Symposium on Mathematical Foundations of Computer Science 1994
• Year:
• 1994