,

A Finite Basis for the Set of EL-Implications Holding in a Finite Model.

, и .
ICFCA, том 4933 из Lecture Notes in Computer Science, стр. 46-61. Springer, (2008)

Метаданные

тэги

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

  • @obj
  • @jwollbold
  • @dblp

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