×
伯纳德·博伊格洛特；塞巴斯蒂安·佐多涅；皮埃尔·沃尔珀

整数和实数上线性算术的有效决策过程。 （英语） Zbl 1407.03052号

ACM事务处理。计算。日志。 6，第3期，614-633（2005）.

引用于21文件

MSC公司：

05年3月 与逻辑问题相关的自动机和形式文法
30楼03号 一阶算法和片段
03B25号 理论和句子集的可决定性
65年第68季度 形式语言和自动机

关键词：

决策程序；有限状态表示；整数和实数算术；弱\（\omega\）-自动机

软件：

自旋蛋白
PDF格式BibTeX公司 XML格式引用
\textit{B.Boigelot}等人，《美国医学杂志》。计算。日志。6，第3号，614--633（2005；Zbl 1407.03052）
全文： 内政部 链接