Structural Analysis of Narratives with the Coq Proof Assistant

Anne-gwenn Bosser; Pierre Courtieu; Julien Forest; Marc Cavazza

doi:10.1007/978-3-642-22863-6_7

Structural Analysis of Narratives with the Coq Proof Assistant

Anne-gwenn Bosser, Pierre Courtieu, Julien Forest, Marc Cavazza

SCEDT School Executive Team

Research output: Chapter in Book/Report/Conference proceeding › Chapter

251 Downloads (Pure)

Original language	English
Title of host publication	Interactive theorem proving
Editors	Marko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Place of Publication	Berlin
Publisher	Springer Verlag
Pages	55-70
ISBN (Print)	9783642228629
DOIs	https://doi.org/10.1007/978-3-642-22863-6_7
Publication status	Published - 2011
Event	Interactive Theorem Proving 2011 - Nijmegen, Netherlands Duration: 22 Aug 2011 → 25 Aug 2011

Publication series

Name	Interactive Theorem Proving
Volume	6898
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	Interactive Theorem Proving 2011
Abbreviated title	ITP 2011
Country/Territory	Netherlands
City	Nijmegen
Period	22/08/11 → 25/08/11

Access to Document

10.1007/978-3-642-22863-6_7

Accepted manuscriptAccepted author manuscript, 177 KBLicence: CC BY-NC-ND

http://link.springer.com/10.1007/978-3-642-22863-6_7

Cite this

@inbook{813c661df4234ed8ad31b53da2d22919,

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",

language = "English",

isbn = "9783642228629",

series = "Interactive Theorem Proving",

publisher = "Springer Verlag",

pages = "55--70",

editor = "{Van Eekelen}, Marko and Herman Geuvers and Julien Schmaltz and Freek Wiedijk",

booktitle = "Interactive theorem proving",

address = "Germany",

note = "Interactive Theorem Proving 2011, ITP 2011 ; Conference date: 22-08-2011 Through 25-08-2011",

}

Bosser, A, Courtieu, P, Forest, J & Cavazza, M 2011, Structural Analysis of Narratives with the Coq Proof Assistant. in M Van Eekelen, H Geuvers, J Schmaltz & F Wiedijk (eds), Interactive theorem proving., Chapter 7, Interactive Theorem Proving, vol. 6898, Springer Verlag, Berlin, pp. 55-70, Interactive Theorem Proving 2011, Nijmegen, Netherlands, 22/08/11. https://doi.org/10.1007/978-3-642-22863-6_7

Structural Analysis of Narratives with the Coq Proof Assistant. / Bosser, Anne-gwenn; Courtieu, Pierre; Forest, Julien et al.
Interactive theorem proving. ed. / Marko Van Eekelen; Herman Geuvers; Julien Schmaltz; Freek Wiedijk. Berlin: Springer Verlag, 2011. p. 55-70 Chapter 7 (Interactive Theorem Proving; Vol. 6898).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Structural Analysis of Narratives with the Coq Proof Assistant

AU - Bosser, Anne-gwenn

AU - Courtieu, Pierre

AU - Forest, Julien

AU - Cavazza, Marc

PY - 2011

Y1 - 2011

UR - http://itp2011.cs.ru.nl/ITP2011/Accepted_papers.html; http://www.springerlink.com/content/51rn75r18q011852/

U2 - 10.1007/978-3-642-22863-6_7

DO - 10.1007/978-3-642-22863-6_7

M3 - Chapter

SN - 9783642228629

T3 - Interactive Theorem Proving

SP - 55

EP - 70

BT - Interactive theorem proving

A2 - Van Eekelen, Marko

A2 - Geuvers, Herman

A2 - Schmaltz, Julien

A2 - Wiedijk, Freek

PB - Springer Verlag

CY - Berlin

T2 - Interactive Theorem Proving 2011

Y2 - 22 August 2011 through 25 August 2011

ER -

Structural Analysis of Narratives with the Coq Proof Assistant

Publication series

Conference

Access to Document

Other files and links

Cite this