Macrotransducers and applicative systems for partially continuous functions
From MaRDI portal
Publication:1407110
DOI10.1023/A:1016741416419zbMath1025.93001MaRDI QIDQ1407110
Publication date: 9 September 2003
Published in: Cybernetics and Systems Analysis (Search for Journal in Brave)
continuity; computability; labeled tree; semicomputability; applicative system; \(\Delta\)-calculus realizability; axioms of universality and approximation; macrotransducer; partially continuous function; partially recursive functions
93A10: General systems
68Q17: Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.)