Additional Metadata
THEME Software (theme 1)
Publisher Springer
Series Lecture Notes in Computer Science
Conference International Symposium on Mathematical Foundations of Computer Science
Grant This work was funded by the The Netherlands Organisation for Scientific Research (NWO); grant id nwo/612.001.210 - Enhancing efficiency and expressiveness of the coinduction proof method
Citation
Salamanca Tellez, J.R, Bonsangue, M.M, & Rutten, J.J.M.M. (2015). Equations and Coequations for Weighted Automata. In Proceedings of International Symposium on Mathematical Foundations of Computer Science 2015 (MFCS 0) (pp. 1–21). Springer.