Fixed point theorem and aperiodic tilings, Bulletin of the European Association for Theoretical Computer Science (EATCS), no. 97, pp. 126-136 (The Logic in Computer Science Column by Yuri Gurevich)
Перейти к публикации
| Авторы: Durand B., Romashchenko A., Shen A. |