Keyword:computability

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