SPIKE, an Automatic Theorem Prover - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Adel Bouhoula, Emmanuel Kounalis, Michaël Rusinowitch. SPIKE, an Automatic Theorem Prover. In Andrei Voronkov, editor, Logic Programming and Automated Reasoning,International Conference LPAR 92, St. Petersburg, Russia, July 15-20, 1992, Proceedings. Volume 624 of Lecture Notes in Computer Science, pages 460-462, Springer, 1992.

This author has not been identified. Look up 'Adel Bouhoula' in GoogleThis author has not been identified. Look up 'Emmanuel Kounalis' in GoogleThis author has not been identified. Look up 'Michaël Rusinowitch' in Google

runs on WebDSL