Verification of an algorithm for log-time sorting by square comparison

Additional Metadata
MSC	Searching and sorting (msc 68P10), Analysis of algorithms and problem complexity (msc 68Q25), Specification and verification (program logics, model checking, etc.) (msc 68Q60)
Publisher	Cambridge University Press
Series	Cambridge Tracts in Theoretical Computer Science
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Mulder, J. C., & Weijland, W. P. (1990). Verification of an algorithm for log-time sorting by square comparison. In Applications of process algebra (pp. 127–145). Cambridge University Press.

Publication