Structural Analysis of Narratives with the Coq Proof Assistant

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]

@inproceedings{BosserCFC11,
  title = {Structural Analysis of Narratives with the Coq Proof Assistant},
  author = {Anne-Gwenn Bosser and Pierre Courtieu and Julien Forest and Marc Cavazza},
  year = {2011},
  doi = {10.1007/978-3-642-22863-6_7},
  url = {http://dx.doi.org/10.1007/978-3-642-22863-6_7},
  tags = {proof assistant, analysis},
  researchr = {https://researchr.org/publication/BosserCFC11},
  cites = {0},
  citedby = {0},
  pages = {55-70},
  booktitle = {Interactive Theorem Proving - Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings},
  editor = {Marko C. J. D. van Eekelen and Herman Geuvers and Julien Schmaltz and Freek Wiedijk},
  volume = {6898},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-642-22862-9},
}