Результаты исследований

1. The Existence of Primitive Recursive Structures

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

2. Decidable Models of Ehrenfeucht Theories

   Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование

3. Inversion in P-Computable Fields

   Результаты исследований: Публикации в книгах, отчётах, сборниках, трудах конференций › статья в сборнике материалов конференции › научная › Рецензирование

Просмотреть все (10) »