Über Darstellungen der elementaren Funktionen II.
Über die mit Stackautomaten berechenbaren Funktionen.
Un estudio no standard de la teoría de la recursividad relativa.
Una introducción a la W-calculabilidad: Operaciones básicas.
Our purpose is to introduce the W-composition, W-minimalization and W-primitive recursion operations as operations between W-valued functions, where W denotes the ordered semiring ([0,1],+,≤). We prove that: 1) the set of W-calculable functions is closed under the W-composition and W-primitice recursion operations, and 2) the set of the partially W-calculable functions is closed under the W-minimalization operation.
Une généralisation des ensembles énumérés
Zu den primitiv-rekursiven Funktionen über einem Bereich endlicher Mengen.
Zur Theorie der spektralen Darstellung von Prädikaten durch Ausdrücke der Prädikatenlogik 1. Stufe.
-principal numberings.
Алгебра частично рекурсивных функций
Алгебры рекурсивных функций
Аппроксимируемость операторов в конструктивных метрических пространствах
Бескванторные и однокванторные системы
Возможности операций одноместного суммирования и одноместного ограниченного умножения
Вычисление эффективных операторов на машинах Тьюринга с ограниченным стиранием
Вычислимость частичных функций и перечислимость множеств в арифметике Пеано
Две теоремы о сложности алгорифмов и вычислений
Дефицитные множестба рекурсивно перечислимых множеств и их разностей
Дискретные семейства рекурсивных функций и индексные множества
Доказательство несовпадения классов простых примитивно рекурсивных функций
Еще раз о вопросе Хигмана