Вы здесь

Stolboushkin A.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Is First Order Contained in an Initial Segment of PTIME? 1995 Stolboushkin A., Taitslin A. Lecture Notes in Computer Science Computer Science Logic 29.08.1995