Certifying Algorithms

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

doi:10.1016/j.cosrev.2010.09.009

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Zeitschriftenartikel

Certifying Algorithms

MPG-Autoren

/persons/resource/persons45021

Mehlhorn, Kurt
Algorithms and Complexity, MPI for Informatics, Max Planck Society;

/persons/resource/persons45100

Näher, Stefan
Algorithms and Complexity, MPI for Informatics, Max Planck Society;

/persons/resource/persons45438

Schweitzer, Pascal
Algorithms and Complexity, MPI for Informatics, Max Planck Society;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (beschränkter Zugriff)

Für Ihren IP-Bereich sind aktuell keine Volltexte freigegeben.

Volltexte (frei zugänglich)

Es sind keine frei zugänglichen Volltexte in PuRe verfügbar

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

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.

Zitierlink: https://hdl.handle.net/11858/00-001M-0000-000F-1624-9

Zusammenfassung

Es ist keine Zusammenfassung verfügbar