HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Tom Verhoeff

Publications
Generalizations of Rice's Theorem, Applicable to Executable and Non-Executable Formalisms
Cornelis Huizing, Ruurd Kuiper and Tom Verhoeff
In:Turing-100. The Alan Turing Centenary

Keyphrases

Execution-based computation formalisms, generalized Rice theorem, Halting Theorem, Specification-based computation formalisms.

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