Structural Analysis of Narratives with the Coq Proof Assistant - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Anne-Gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza. Structural Analysis of Narratives with the Coq Proof Assistant. In Marko C. J. D. van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk, editors, Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings. Volume 6898 of Lecture Notes in Computer Science, pages 55-70, Springer, 2011. [doi]

This author has not been identified. Look up 'Anne-Gwenn Bosser' in GoogleThis author has not been identified. Look up 'Pierre Courtieu' in GoogleThis author has not been identified. Look up 'Julien Forest' in GoogleThis author has not been identified. Look up 'Marc Cavazza' in Google

runs on WebDSL