HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:computability

Publications
Tiling with Three Polygons is Undecidable
Erik D. Demaine and Stefan Langerman
EasyChair Preprint 15503
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
Copyright © 2012-2025 easychair.org. All rights reserved.