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

1. Online and Feasible Presentability: From Trees to Modal Algebras

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

2. On Learning Existentially Definable Subsets in a Computable Structure

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

3. Computably and punctually universal spaces

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

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