Abstract Geometrical Computation and Computable Analysis

DOI10.1007/978-3-642-03745-0_20zbMath1253.03071OpenAlexW2149201467MaRDI QIDQ3184766

Jérôme O. Durand-Lose

Publication date: 22 October 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-03745-0_20

zbMATH Keywords

analog computationcomputable analysissignal machineabstract geometrical computationtype-2 Turing machine

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Higher-type and set recursion theory (03D65)

Related Items (4)

Abstract geometrical computation. VIII: Small machines, accumulations \& rationality ⋮ Abstract geometrical computation. V: Embedding computable analysis ⋮ Computational classification of cellular automata ⋮ Abstract geometrical computation. VII: Geometrical accumulations and computably enumerable real numbers

This page was built for publication: Abstract Geometrical Computation and Computable Analysis