,

A Model-Theoretic Counterpart of Loop Formulas.

.
IJCAI, стр. 503-508. Professional Book Center, (2005)

Метаданные

тэги

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

  • @dblp

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