Structural Analysis of Narratives with the Coq Proof Assistant

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

Research output: Chapter in Book/Report/Conference proceedingChapter

115 Downloads (Pure)
Original languageEnglish
Title of host publicationInteractive theorem proving
EditorsMarko Van Eekelen, Herman Geuvers, Julien Schmaltz, Freek Wiedijk
Place of PublicationBerlin
PublisherSpringer Verlag
Pages55-70
ISBN (Print)9783642228629
DOIs
Publication statusPublished - 2011
EventInteractive Theorem Proving 2011 - Nijmegen, Netherlands
Duration: 22 Aug 201125 Aug 2011

Publication series

NameInteractive Theorem Proving
Volume6898
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferenceInteractive Theorem Proving 2011
Abbreviated titleITP 2011
Country/TerritoryNetherlands
CityNijmegen
Period22/08/1125/08/11

Cite this