Electronic Journal Article
@Article
Zeitschriftenartikel in einem e-Journal



Show entries of:

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

Action:

login to update

Options:




Library Locked Library locked




Author, Editor

Author(s):

McConnella, Ross M.
Mehlhorn, Kurt
Näher, Stefan
Schweitzer, Pascal

dblp
dblp
dblp
dblp

Not MPG Author(s):

McConnella, R. M.
Näher, Stefan
Schweitzer, Pascal

BibTeX cite key*:

McConnella2010

Title

Title*:

Certifying algorithms

Journal

Journal Title*:

Computer Science Review

Journal's URL:


Download URL
for the article:

http://dx.doi.org/10.1016/j.cosrev.2010.09.009

Language:

English

Publisher

Publisher's
Name:

Elsevier

Publisher's URL:


Publisher's
Address:

Amsterdam

ISSN:

1574-0137

Vol, No, Year, pp.

Volume:

Article in Press

Number:


Month:

October

Year*:

2010

Pages:

1-43

Number of VG Pages:


Sequence Number:


DOI:

10.1016/j.cosrev.2010.09.009

Abstract, Links, (C)

Note:


(LaTeX) Abstract:


URL for the Abstract:


Categories / Keywords:


HyperLinks / References / URLs:


Copyright Message:


Personal Comments:


Download
Access Level:

Public

Correlation

MPG Unit:

Max-Planck-Institut für Informatik



MPG Subunit:

Algorithms and Complexity Group

Audience:

Expert

Appearance:

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



BibTeX Entry:

@MISC{McConnella2010,
AUTHOR = {McConnella, Ross M. and Mehlhorn, Kurt and N{\"a}her, Stefan and Schweitzer, Pascal},
TITLE = {Certifying algorithms},
JOURNAL = {Computer Science Review},
PUBLISHER = {Elsevier},
YEAR = {2010},
VOLUME = {Article in Press},
PAGES = {1--43},
ADDRESS = {Amsterdam},
MONTH = {October},
ISBN = {1574-0137},
DOI = {10.1016/j.cosrev.2010.09.009},
}


Entry last modified by Anja Becker, 03/01/2011
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)
[Library]
Created
03/01/2011 11:51:29 AM
Revision
1.
0.


Editor
Anja Becker
Anja Becker


Edit Date
01.03.2011 13:33:23
01.03.2011 11:55:35


Show details for Attachment SectionAttachment Section
Hide details for Attachment SectionAttachment Section