,

Confluence of one-rule Thue systems.

.
Technical Report, 24. Department of Computer Science, (января 1991)

Метаданные

тэги

Пользователи данного ресурса

  • @trcsuniwue

Комментарии и рецензии