Pages that link to "Item:Q1096378"
From MaRDI portal
The following pages link to A correctness proof of sorting by means of formal procedures (Q1096378):
Displaying 5 items.
- Quicksort revisited. Verifying alternative versions of quicksort (Q2026813) (← links)
- Proof pearl: A mechanized proof of GHC's mergesort (Q2351394) (← links)
- Proving Quicksort Correct in Event-B (Q2994490) (← links)
- A First Class Boolean Sort in First-Order Theorem Proving and TPTP (Q3453107) (← links)
- (Q5016384) (← links)