Structural analysis of narratives with the coq proof assistant

Hdl Handle:
http://hdl.handle.net/10149/141949
Title:
Structural analysis of narratives with the coq proof assistant
Book Title:
Interactive theorem proving
Authors:
Bosser, A-G. (Anne-Gwenn); Courtieu, P. (Pierre); Forest, J. (Julien); Cavazza, M. O. (Marc)
Editors:
Van Eekelen, M. (Marko); Geuvers, H. (Herman); Schmaltz, J. (Julien); Wiedijk, F. (Freek)
Affiliation:
University of Teesside. School of Computing.
Citation:
Bosser, A-G. et. al. (2011) 'Structural analysis of narratives with the coq proof assistant', Interactive theorem proving (ITP 2011), Nijmegen, The Netherlands, August, 22-25, 2011, in Van Eekelen, M. et. al. (eds) Interactive theorem proving, Lecture notes in computer science, 6898. Berlin: Springer Verlag, pp.55-70.
Publisher:
Springer Verlag
Conference:
Interactive theorem proving (ITP 2011), Nijmegen, The Netherlands, August, 22-25, 2011
Issue Date:
2011
URI:
http://hdl.handle.net/10149/141949
DOI:
10.1007/978-3-642-22863-6_7
Additional Links:
http://itp2011.cs.ru.nl/ITP2011/Accepted_papers.html; http://www.springerlink.com/content/51rn75r18q011852/
Type:
Meetings and Proceedings; Book Chapter
Language:
en
Keywords:
structural analysis; narratives; coq proof assistant
Series/Report no.:
Lecture notes in computer science; 6898
ISBN:
9783642228629
Rights:
Author can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 08/09/2011]
Citation Count:
0 [Web of Science and Scopus, 08/09/2011]

Full metadata record

DC FieldValue Language
dc.contributor.authorBosser, A-G. (Anne-Gwenn)en
dc.contributor.authorCourtieu, P. (Pierre)en
dc.contributor.authorForest, J. (Julien)en
dc.contributor.authorCavazza, M. O. (Marc)en
dc.contributor.editorVan Eekelen, M. (Marko)en
dc.contributor.editorGeuvers, H. (Herman)en
dc.contributor.editorSchmaltz, J. (Julien)en
dc.contributor.editorWiedijk, F. (Freek)en
dc.date.accessioned2011-09-08T09:43:06Z-
dc.date.available2011-09-08T09:43:06Z-
dc.date.issued2011-
dc.identifier.isbn9783642228629en
dc.identifier.doi10.1007/978-3-642-22863-6_7en
dc.identifier.urihttp://hdl.handle.net/10149/141949-
dc.language.isoenen
dc.publisherSpringer Verlagen
dc.relation.ispartofseriesLecture notes in computer scienceen
dc.relation.ispartofseries6898en
dc.relation.urlhttp://itp2011.cs.ru.nl/ITP2011/Accepted_papers.htmlen
dc.relation.urlhttp://www.springerlink.com/content/51rn75r18q011852/en
dc.rightsAuthor can archive post-print (ie final draft post-refereeing). For full details see http://www.sherpa.ac.uk/romeo/ [Accessed 08/09/2011]en
dc.subjectstructural analysisen
dc.subjectnarrativesen
dc.subjectcoq proof assistanten
dc.titleStructural analysis of narratives with the coq proof assistanten
dc.typeMeetings and Proceedingsen
dc.typeBook Chapteren
dc.contributor.departmentUniversity of Teesside. School of Computing.en
dc.title.bookInteractive theorem provingen
dc.identifier.conferenceInteractive theorem proving (ITP 2011), Nijmegen, The Netherlands, August, 22-25, 2011en
ref.citationcount0 [Web of Science and Scopus, 08/09/2011]en
or.citation.harvardBosser, A-G. et. al. (2011) 'Structural analysis of narratives with the coq proof assistant', Interactive theorem proving (ITP 2011), Nijmegen, The Netherlands, August, 22-25, 2011, in Van Eekelen, M. et. al. (eds) Interactive theorem proving, Lecture notes in computer science, 6898. Berlin: Springer Verlag, pp.55-70.en
prism.startingPage55en
prism.endingPage70en
All Items in TeesRep are protected by copyright, with all rights reserved, unless otherwise indicated.