Autor der Publikation

From Axiomatics to Intrinsic Characterization: Some Open Problems in Computable Analysis.

. Theor. Comput. Sci., 219 (1-2): 319-329 (1999)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable., und . Math. Log. Q., (1997)The Degree of Unsolvability of a Real Number., und . CCA, Volume 2064 von Lecture Notes in Computer Science, Seite 16-29. Springer, (2000)From Axiomatics to Intrinsic Characterization: Some Open Problems in Computable Analysis.. Theor. Comput. Sci., 219 (1-2): 319-329 (1999)Effectively Extensible Theories.. J. Symb. Log., 33 (1): 56-68 (1968)The Structure of Computability in Analysis and Physical Theory.. Handbook of Computability Theory, Volume 140 von Studies in Logic and the Foundations of Mathematics, North-Holland, (1999)Differentiability properties of computable functions - a summary., und . Acta Cybern., 4 (1): 123-125 (1978)Computer Science And Recursion Theory.. ACM Annual Conference (1), Seite 15-20. ACM, (1978)Axiomatizable Theories with Few Axiomatizable Extensions., und . J. Symb. Log., 35 (2): 205-209 (1970)On a simple definition of computable function of a real variable-with applications to functions of a complex variable., und . Math. Log. Q., 21 (1): 1-19 (1975)The Wave Equation with Computable Initial Data Whose Unique Solution is Nowhere Computable., und . CCA, Volume TR 96-44 von Technical Report, Unjiversity of Trier, (1996)