Electronic Proceedings Article
@InProceedings
Internet-Beitrag in Tagungsband, Workshop


Show entries of:

this year (2019) | last year (2018) | two years ago (2017) | Notes URL

Action:

login to update

Options:








Author, Editor

Author(s):

Prevosto, Virgile

dblp



Editor(s):

Coquand, Thierry
Lombardi, Henri
Roy, Marie-Franccoise

dblp
dblp
dblp

Not MPII Editor(s):

Coquand, Thierry
Lombardi, Henri
Roy, Marie-Franccoise

BibTeX cite key*:

PrevostoDagstuhl2005

Title, Conference

Title*:

Certified mathematical hierarchies: the FoCal system.

Booktitle*:

Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop

Event Address*:

IBFI Schloß Dagstuhl, Germany

URL of the conference:

http://www.dagstuhl.de/05021

Event Date*:
(no longer used):


URL for downloading the paper:

http://drops.dagstuhl.de/opus/volltexte/2006/274/pdf/05021.PrevostoVirgile.Paper.274.pdf

Event Start Date:

9 January 2005

Event End Date:

14 January 2005

Language:

English

Organization:


Publisher

Publisher's Name:

IBFI

Publisher's URL:

http://www.dagstuhl.de/DROPS/DagstuhlSeminarProceedings/

Address*:

Dagstuhl, Germany

Type:


Vol, No, pp., Year

Series:

Dagstuhl Seminar Proceedings

Volume:

05021

Number:


Month:


Pages:




Sequence Number:

274

Year*:

2006

ISBN/ISSN:

1862-4405





Abstract, Links, ©

URL for Reference:


Note:


(LaTeX) Abstract:


URL for the Abstract:




Tags, Categories, Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Programming Logics Group

Audience:

Expert

Appearance:

MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat, CCL bibliography, VG Wort

BibTeX Entry:
@INPROCEEDINGS{PrevostoDagstuhl2005,
AUTHOR = {Prevosto, Virgile},
EDITOR = {Coquand, Thierry and Lombardi, Henri and Roy, Marie-Franccoise},
TITLE = {Certified mathematical hierarchies: the {FoCal} system.},
BOOKTITLE = {Proceedings of the MAP (Mathematics, Algorithms, Proofs) Workshop},
PUBLISHER = {IBFI},
YEAR = {2006},
VOLUME = {05021},
SERIES = {Dagstuhl Seminar Proceedings},
ADDRESS = {IBFI Schloß Dagstuhl, Germany},
ISBN = {1862-4405},
}


Entry last modified by Uwe Brahm, 01/28/2008
Show details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)
Hide details for Edit History (please click the blue arrow to see the details)Edit History (please click the blue arrow to see the details)

Editor(s)
Virgile Prevosto
Created
03/09/2005 09:41:11 AM
Revisions
6.
5.
4.
3.
2.
Editor(s)
Uwe Brahm
Uwe Brahm
Christine Kiesel
Virgile Prevosto
Virgile Prevosto
Edit Dates
2007-04-30 14:48:38
2007-04-26 11:33:25
25.04.2006 21:25:07
10/26/2005 03:42:48 PM
06.05.2005 14:24:56
Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section