位置：成果数据库 > 期刊 > 期刊详情页
Loop-separable Programs and Their First-order Definability
  • ISSN号：0004-3702
  • 期刊名称：Artificial Intelligence
  • 时间：0
  • 页码：890-913
  • 语言：英文
  • 相关项目：一阶环和环公式在非经典逻辑计算中的理论与应用
作者： Yin Chen|Yan Zhang|Yi Zhou|Fangzhen Lin|
同期刊论文项目
一阶环和环公式在非经典逻辑计算中的理论与应用
期刊论文 6 会议论文 8
同项目期刊论文
基于回答集程序的排课系统设计与实现
A Logic-Program-Based Negotiation Mechanism
Well-Formed Normal Forms in Intermediate Logics
中间逻辑中的良构范式