On Kleene Algebras for Weighted Computation

Lecture Notes in Computer Science - Formal Methods: Foundations and Applications ◽

10.1007/978-3-319-70848-5_17 ◽

2017 ◽

pp. 271-286

Author(s):

Leandro Gomes ◽

Alexandre Madeira ◽

Luís S. Barbosa

Download Full-text