Space-Efficient Fragments of Higher-Order Fixpoint Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Florian Bruse, Martin Lange 0001, Étienne Lozes. Space-Efficient Fragments of Higher-Order Fixpoint Logic. In Matthew Hague, Igor Potapov, editors, Reachability Problems - 11th International Workshop, RP 2017, London, UK, September 7-9, 2017, Proceedings. Volume 10506 of Lecture Notes in Computer Science, pages 26-41, Springer, 2017. [doi]

This author has not been identified. Look up 'Florian Bruse' in GoogleThis author has not been identified. Look up 'Martin Lange 0001' in GoogleThis author has not been identified. Look up 'Étienne Lozes' in Google

runs on WebDSL