Better Termination Proving through Cooperation - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marc Brockschmidt, Byron Cook, Carsten Fuhs. Better Termination Proving through Cooperation. In Natasha Sharygina, Helmut Veith, editors, Computer Aided Verification - 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings. Volume 8044 of Lecture Notes in Computer Science, pages 413-429, Springer, 2013. [doi]

This author has not been identified. Look up 'Marc Brockschmidt' in GoogleThis author has not been identified. Look up 'Byron Cook' in GoogleThis author has not been identified. Look up 'Carsten Fuhs' in Google

runs on WebDSL