Keyword:computability

Publications
Logic Programming with Bounded Quantifiers Andrei Voronkov EasyChair Preprint 3169
Program Analysis is Harder than Verification: A Computability Perspective Patrick Cousot, Roberto Giacobazzi and Francesco Ranzato EasyChair Preprint 365
On Expanding Standard Notions of Constructivity Liron Cohen and Ariel Kellison EasyChair Preprint 189
What kind of machine is the mind? Joscha Bach and Mario Verdicchio In:Turing-100. The Alan Turing Centenary
A Note on Turing’s Three Pioneering Initiatives and on Their Interplays Jozef Kelemen In:Turing-100. The Alan Turing Centenary