The Hydra Battle Revisited - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nachum Dershowitz, Georg Moser. The Hydra Battle Revisited. In Hubert Comon-Lundh, Claude Kirchner, Hélène Kirchner, editors, Rewriting, Computation and Proof, Essays Dedicated to Jean-Pierre Jouannaud on the Occasion of His 60th Birthday. Volume 4600 of Lecture Notes in Computer Science, pages 1-27, Springer, 2007. [doi]

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

Nachum Dershowitz

Look up 'Nachum Dershowitz' in GoogleThis author has not been identified. Look up 'Georg Moser' in Google

runs on WebDSL