scientific article; zbMATH DE number 1869991

DOI10.1023/A:1015606528623zbMath1034.03521MaRDI QIDQ4792706

Carol E. Cleland

Publication date: 17 February 2003

Published in: Minds and Machines (Search for Journal in Brave)

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Turing machinecausal processhypercomputationeffective procedureprecisely described instructionprocedure schemaquotidian procedure

Mathematics Subject Classification ID

General topics in artificial intelligence (68T01) Turing machines and related notions (03D10)

Related Items (6)

Extensional Logic of Hyperintensions ⋮ The concept of computability ⋮ Accelerating machines: a review ⋮ If structured propositions are logical procedures then how are procedures individuated? ⋮ Mathematical and Technological Computability ⋮ Algorithmic measurement procedures

This page was built for publication: