悉达哈·巴斯卡;简·钱德利;亚当·贾丁;克里斯托弗·奥克登 布尔一元递归格式作为子序列函数的逻辑特征。 （英语） Zbl 1437.68042号 Leporati，Alberto（编辑）等人，《语言和自动机理论与应用》。第14届国际会议，2020年3月4日至6日，意大利米兰，LATA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12038157-169（2020年）。 摘要：本文定义了布尔一元递归方案（BMRS），这是对递归程序的一种限制，并表明当被解释为字符串的转导时，它们准确地描述了子序列函数。我们讨论了这个新结果如何进一步研究逻辑、形式语言和函数以及自动机之间的联系。关于整个系列，请参见[Zbl 1435.68034号]. MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 03B70号 计算机科学中的逻辑 05年3月 与逻辑问题相关的自动机和形式文法 65年第68季度 形式语言和自动机 关键词：次序函数;逻辑;递归程序方案;有限自动机 PDF格式BibTeX公司 XML格式引用 \textit{S.Bhaskar}等人，Lect。注释计算。科学。12038，157--169（2020；Zbl 1437.68042） 全文： 内政部