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 verification², automated theorem proving², automating induction, first-order theorem proving², formal methods, function calls, induction in first-order logic, recursive programs, software correctness, sorting algorithms², superposition-based theorem proving, superposition calculus.