,

On computable presentations of some functional lattices.

.
J. Log. Algebraic Methods Program., 79 (1): 38-46 (2010)

Метаданные

тэги

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

  • @dblp

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