约尔·瓦克宁;詹姆斯·沃雷尔 线性递归序列的决策问题。 （英语） Zbl 1298.11015号 Finkel，Alain（编辑）等人，《可达性问题》。2012年9月17日至19日，法国波尔多RP 2012第六届国际研讨会。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-33511-2/pbk）。计算机科学课堂讲稿7550，21-28（2012）。 摘要：线性递归序列渗透到数学和计算机科学的许多领域。在本文中，我们综述了线性递归序列的某些基本决策问题的研究现状，即Skolem问题（序列是否为零？）、正问题（序列总是正的吗？）和最终正问题（该序列最终总是正的？）。关于整个系列，请参见[Zbl 1253.68011号]。 引用于1审查引用于18文件 理学硕士： 11层37 定期 03B25号 理论和句子集的可决定性 2005年11月 可决定性（数字理论方面） PDF格式BibTeX公司 XML格式引用 \textit{J.Ouaknine}和\textit{J.Worrell}，莱克特。注释计算。科学。7550，21-28（2012；Zbl 1298.11015） 全文： 内政部