,

Finite variable logics in descriptive complexity theory.

.
Bull. Symb. Log., 4 (4): 345-398 (1998)

Метаданные

тэги

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

  • @dblp

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