|
 
|
Marc Cavazza
|
Laboratoire: soc (GB) |
Publications
2011
- [BCF11] A. Bosser, P. Courtieu, J. Forest, M. Cavazza. "Structural Analysis of Narratives with the Coq Proof Assistant.", Interactive theorem proving (TPHOLs), August 2011, Vol. 6898, pp.55--70, Series Lecture Notes in Computer Science, Berg en Dal, The Netherlands,
-
[BCC11]
A. Bosser, M. Cavazza, P. Courtieu, J. Forest.
"Structural Analysis of Narratives with the Coq Proof Assistant",
Date de dépot: 2011/03/01,
Nb pages 16,
(Tech. Rep.: CEDRIC-11-2061)
