Advertisement

Shiloach's algorithm

Part 0 Summaries ofthe expositional essays
Part of the Lecture Notes in Computer Science book series (LNCS, volume 445)

Abstract

This chapter's purpose is to show how the use of an adequate formalism, predicate calculus in this case, enables us to present an algorithm clearly, concisely, and in all relevant detail, in a way that reveals all the ingenuities of the design.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Personalised recommendations