• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

A Machine-Checked Proof of the Average-Case Complexity of Quicksort in Coq.

Eelis van der WeegenJames McKinna
Published in: TYPES (2008)
Keyphrases
  • theorem prover
  • average case complexity
  • average case
  • theorem proving
  • lower bound
  • formal methods
  • special case
  • first order logic
  • state space