Proof by Pointing - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yves Bertot, Gilles Kahn, Laurent Théry. Proof by Pointing. In Masami Hagiya, John C. Mitchell, editors, Theoretical Aspects of Computer Software, International Conference TACS 94, Sendai, Japan, April 19-22, 1994, Proceedings. Volume 789 of Lecture Notes in Computer Science, pages 141-160, Springer, 1994.

This author has not been identified. Look up 'Yves Bertot' in GoogleThis author has not been identified. Look up 'Gilles Kahn' in GoogleThis author has not been identified. Look up 'Laurent Théry' in Google

runs on WebDSL