The influence of domain interpretations on computational models

DOI10.1016/j.amc.2009.04.063zbMath1192.68259OpenAlexW2107171228MaRDI QIDQ1036525

Udi Boker, Nachum Dershowitz

Publication date: 13 November 2009

Published in: Applied Mathematics and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.amc.2009.04.063

zbMATH Keywords

Turing machinecomputabilitycomputational comparisoncomputational powercomputational modelshypercomputationdomain interpretationdomain representation

Mathematics Subject Classification ID

Related Items

What is the Church-Turing Thesis? ⋮ Unnamed Item ⋮ Honest Computability and Complexity ⋮ Three Paths to Effectiveness

Cites Work

• Real recursive functions and their hierarchy
• Acceptable notation
• Church's thesis and the conceptual analysis of computability
• A hypercomputational alien
• CONSTRUCTIVE ALGEBRAS I
• The Church-Turing Thesis over Arbitrary Domains
• Computable Algebra, General Theory and Theory of Computable Fields
• A notion of effectiveness in arbitrary structures
• New Computational Paradigms
• Systems of Logic Based on Ordinals^†
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item