Certifying algorithms
From MaRDI portal
Publication:465678
DOI10.1016/j.cosrev.2010.09.009zbMath1298.68289MaRDI QIDQ465678
Kurt Mehlhorn, Ross M. McConnell, Pascal Schweitzer, Stefan Näher
Publication date: 24 October 2014
Published in: Computer Science Review (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.cosrev.2010.09.009
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68W01: General topics in the theory of algorithms
Uses Software