Certifying Algorithms

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

doi:10.1016/j.cosrev.2010.09.009

Local TagsRelease HistoryDetailsSummary

Certifying Algorithms

McConnell, R. M., Mehlhorn, K., Näher, S., & Schweitzer, P. (2010). Certifying Algorithms. Computer Science Review, 5(2), 119-161. doi:10.1016/j.cosrev.2010.09.009.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-000F-1624-9 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-76C5-9

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
McConnell, Ross M.¹, Author
Mehlhorn, Kurt², Author
Näher, Stefan², Author
Schweitzer, Pascal², Author

Affiliations:
1External Organizations, ou_persistent22
2Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2010Date issued: 2010

Publication Status: Issued

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: eDoc: 536711
BibTex Citekey: McConnell2010
DOI: 10.1016/j.cosrev.2010.09.009
URI: http://dx.doi.org/10.1016/j.cosrev.2010.09.009
Other: Local-ID: C1256428004B93B8-3814D1CC91136BA8C1257846003BA54F-McConnell2010

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Computer Science Review

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: Amsterdam : Elsevier

Pages: - Volume / Issue: 5 (2) Sequence Number: - Start / End Page: 119 - 161 Identifier: ISSN: 1574-0137