Sorting Without Sorts

EasyChair Preprint no. 10632, version history

Pamina Georgiou, Márton Hajdu and Laura Kovács

Version	Date	Pages	Version notes
1	July 29, 2023	17	—
2	October 30, 2023	21	we include our intuition on manual proof splits

Keyphrases: automated software verification, automated theorem proving, automating induction, first-order theorem proving, function calls, induction in first-order logic, software correctness, sorting algorithms, superposition-based theorem proving

BibTeX entry

BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:

@Booklet{EasyChair:10632,
  author = {Pamina Georgiou and Marton Hajdu and Laura Kovacs},
  title = {Sorting Without Sorts},
  howpublished = {EasyChair Preprint no. 10632},

  year = {EasyChair, 2023}}