Coinductive Algorithms for Büchi Automata - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Denis Kuperberg, Laureline Pinault, Damien Pous. Coinductive Algorithms for Büchi Automata. In Piotrek Hofman, Michal Skrzypczak, editors, Developments in Language Theory - 23rd International Conference, DLT 2019, Warsaw, Poland, August 5-9, 2019, Proceedings. Volume 11647 of Lecture Notes in Computer Science, pages 206-220, Springer, 2019. [doi]

This author has not been identified. Look up 'Denis Kuperberg' in GoogleThis author has not been identified. Look up 'Laureline Pinault' in GoogleThis author has not been identified. Look up 'Damien Pous' in Google

runs on WebDSL