HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Pamina Georgiou

Publications
Saturating Sorting without Sorts
Pamina Georgiou, Marton Hajdu and Laura Kovács
In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Sorting Without Sorts
Pamina Georgiou, Marton Hajdu and Laura Kovacs
EasyChair Preprint 10632
Sorting Without Sorts
Pamina Georgiou, Marton Hajdu and Laura Kovacs
EasyChair Preprint 10632

Keyphrases

automated inductive reasoning, automated reasoning, automated software verification2, automated theorem proving2, automating induction, first-order theorem proving2, formal methods, function calls, induction in first-order logic, recursive programs, software correctness, sorting algorithms2, superposition-based theorem proving, superposition calculus.

Copyright © 2012-2025 easychair.org. All rights reserved.