Login / Signup

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