• 不动点语义 - 引用次数：5

  Next, we need to derive a fixpoint semantics for non-ground finite failure.

  接下来一个重要的问题是给出关于非基有限失败的不动点语义。

  参考来源 - 逻辑程序非基有限失败的语义

·2,447,543篇论文数据，部分数据来源于NoteExpress