| Publication | Date of Publication | Type |
|---|
| Some Aspects of Distancing | 2022-09-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5004974 | 2021-08-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4994197 | 2021-06-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993758 | 2021-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4993805 | 2021-06-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5376650 | 2019-05-17 | Paper |
| Moschovakis Extension of Represented Spaces | 2018-01-29 | Paper |
| Some theorems on passing from local to global presence of properties of functions | 2017-04-11 | Paper |
| Approximation systems for functions in topological and in metric spaces | 2013-11-28 | Paper |
| On Some Computability Notions for Real Functions | 2013-10-10 | Paper |
| <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:msup><mml:mi mathvariant="script">E</mml:mi><mml:mn>2</mml:mn></mml:msup></mml:math>-computability of e, π and Other Famous Constants | 2013-05-03 | Paper |
| Conditional computability of real functions with respect to a class of operators | 2013-04-05 | Paper |
| Formula2-computable real numbers | 2012-09-05 | Paper |
| An epsilon-delta characterization of a certain TTE computability notion | 2012-07-31 | Paper |
| On a Relative Computability Notion for Real Functions | 2011-09-09 | Paper |
| On a class of bases for Boolean functions | 2010-01-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3518435 | 2008-08-08 | Paper |
| Logical Approaches to Computational Barriers | 2007-04-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3365455 | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3365511 | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3365551 | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3365556 | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3365587 | 2006-01-23 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711183 | 2005-12-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5711190 | 2005-12-09 | Paper |
| Some subrecursive versions of Grzegorczyk's Uniformity Theorem | 2005-02-16 | Paper |
| Computability of Real Numbers by Using a Given Class of Functions in the Set of the Natural Numbers | 2003-08-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4531994 | 2002-05-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4322595 | 2000-07-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4372945 | 1998-04-02 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325146 | 1995-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4325164 | 1995-03-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4273428 | 1995-02-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4029607 | 1993-03-28 | Paper |
| On Van Gelder's loop detection algorithm | 1992-11-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4003236 | 1992-09-18 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3974602 | 1992-06-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5202168 | 1991-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3805879 | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3759942 | 1985-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3220557 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3807167 | 1984-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5184384 | 1984-01-01 | Paper |
| Embedding of iterative Post algebras in a semigroup | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3314966 | 1983-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3666836 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4744267 | 1982-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3322087 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3898488 | 1980-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3879225 | 1979-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3902485 | 1979-01-01 | Paper |
| The First Recursion Theorem for Iterative Combinatory Spaces | 1979-01-01 | Paper |
| A Normal form Theorem for Recursive Operators in Iterative Combinatory Spaces | 1978-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4138720 | 1977-01-01 | Paper |
| Some models of combinatory logic | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3877673 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4093428 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4126597 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133626 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4133627 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135480 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4147965 | 1976-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4087246 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4108310 | 1975-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4078001 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4100072 | 1974-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4041565 | 1973-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5665896 | 1972-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5643056 | 1971-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5594601 | 1970-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5571682 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5628743 | 1969-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5544284 | 1967-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537362 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5563025 | 1966-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5553882 | 1965-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5525342 | 1964-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5537361 | 1963-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3847668 | 1961-01-01 | Paper |
| Russian text(ignored) | 1961-01-01 | Paper |
