Faster, Higher, Stronger: E 2.3 - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Stephan Schulz 0001, Simon Cruanes, Petar Vukmirovic. Faster, Higher, Stronger: E 2.3. 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 495-507, Springer, 2019. [doi]

This author has not been identified. Look up 'Stephan Schulz 0001' in GoogleThis author has not been identified. Look up 'Simon Cruanes' in GoogleThis author has not been identified. Look up 'Petar Vukmirovic' in Google

runs on WebDSL