External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

On Kleene Algebras for Weighted Computation

Leandro Gomes, Alexandre Madeira, Luís S. Barbosa. On Kleene Algebras for Weighted Computation. In Simone André da Costa Cavalheiro, José Luiz Fiadeiro, editors, Formal Methods: Foundations and Applications - 20th Brazilian Symposium, SBMF 2017, Recife, Brazil, November 29 - December 1, 2017, Proceedings. Volume 10623 of Lecture Notes in Computer Science, pages 271-286, Springer, 2017. [doi]

Authors

Leandro Gomes

This author has not been identified. Look up 'Leandro Gomes' in Google

Alexandre Madeira

This author has not been identified. Look up 'Alexandre Madeira' in Google

Luís S. Barbosa

This author has not been identified. Look up 'Luís S. Barbosa' in Google
runs on