Kleene Algebras and Semimodules for Energy Problems

DOI10.1007/978-3-319-02444-8_9zbMath1318.68105arXiv1307.0635OpenAlexW1903088707MaRDI QIDQ5166679

Axel Legay, Uli Fahrenberg, Karin Quaas, Zoltán Ésik

Publication date: 8 July 2014

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1307.0635

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Algebraic theory of languages and automata (68Q70)

Related Items (3)

*-Continuous Kleene $$\omega $$-Algebras ⋮ Unnamed Item ⋮ Unnamed Item

This page was built for publication: Kleene Algebras and Semimodules for Energy Problems