Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata

Barbara König, Sebastian Küpper. Generic Partition Refinement Algorithms for Coalgebras and an Instantiation to Weighted Automata. In Josep Diaz, Ivan Lanese, Davide Sangiorgi, editors, Theoretical Computer Science - 8th IFIP TC 1/WG 2.2 International Conference, TCS 2014, Rome, Italy, September 1-3, 2014. Proceedings. Volume 8705 of Lecture Notes in Computer Science, pages 311-325, Springer, 2014. [doi]

Authors

Barbara König

This author has not been identified. Look up 'Barbara König' in Google

Sebastian Küpper

This author has not been identified. Look up 'Sebastian Küpper' in Google