An Introduction to Certifying Algorithms

Alkassar, Eyad; Böhme, Sascha; Mehlhorn, Kurt; Rizkallah, Christine; Schweitzer, Pascal

Local TagsRelease HistoryDetailsSummary

An Introduction to Certifying Algorithms

Alkassar, E., Böhme, S., Mehlhorn, K., Rizkallah, C., & Schweitzer, P. (2011). An Introduction to Certifying Algorithms. Information technology, 53(6), 287-293.

Item is Released

show all hide all

Basic

show hide

Item Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-A46F-6 Version Permalink: https://hdl.handle.net/11858/00-001M-0000-0024-A470-D

Genre: Journal Article

Files

show Files

Locators

show

Creators

show

hide

Creators:
Alkassar, Eyad¹, Author
Böhme, Sascha², Author
Mehlhorn, Kurt³, Author
Rizkallah, Christine³, Author
Schweitzer, Pascal³, Author

Affiliations:
1International Max Planck Research School, MPI for Informatics, Max Planck Society, ou_1116551
2External Organizations, ou_persistent22
3Algorithms and Complexity, MPI for Informatics, Max Planck Society, ou_24019

Content

show

Details

show

hide

Language(s): eng - English

Dates: Published Online: 2011

Publication Status: Published online

Pages: -

Publishing info: -

Table of Contents: -

Rev. Type: -

Identifiers: BibTex Citekey: Mehlhornit2011

Degree: -

Event

show

Legal Case

show

Project information

show

Source 1

show

hide

Title: Information technology

Abbreviation : it

Source Genre: Journal

Creator(s):

Affiliations:

Publ. Info: München : Oldenbourg Wissenschaftsverlag

Pages: - Volume / Issue: 53 (6) Sequence Number: - Start / End Page: 287 - 293 Identifier: ZDB: 2102301-3
ISSN: 1611-2776
CoNE: https://pure.mpg.de/cone/journals/resource/111072894191000