,

A Fixpoint Semantics for Disjunctive Logic Programs.

, и .
J. Log. Program., 9 (1): 45-74 (1990)

Метаданные

тэги

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

  • @dblp

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