Computing Expected Runtimes for Constant Probability Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jürgen Giesl, Peter Giesl, Marcel Hark. Computing Expected Runtimes for Constant Probability Programs. In Pascal Fontaine, editor, Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. Volume 11716 of Lecture Notes in Computer Science, pages 269-286, Springer, 2019. [doi]

This author has not been identified. It may be one of the following persons:

Jürgen Giesl

Look up 'Jürgen Giesl' in GoogleThis author has not been identified. Look up 'Peter Giesl' in GoogleThis author has not been identified. Look up 'Marcel Hark' in Google

runs on WebDSL