×
马可·卡洛蒂;塞尔吉奥·格雷科;伊琳娜·特鲁比西纳

用函数符号检测有限地逻辑程序的可判定类。 （英语） Zbl 1407.68078号

ACM事务处理。计算。日志。 第18号第4条第28条第42页（2017年）.

引用于1文件

MSC公司：

68N17号 逻辑编程

关键词：

答案集编程;自下而上的评估;计算复杂性;功能符号;程序终止;稳定模型
PDF格式BibTeX公司 XML格式引用
\textit{M.Calautti}等人，《美国医学杂志》。计算。日志。18，第4号，第28条，第42页（2017；Zbl 1407.68078）
全文： 内政部 链接