伊恩·斯图尔特(Iain A.Stewart)。 使用程序方案逻辑捕获某些结构类上的多项式时间。 (英语) Zbl 1087.68567号 LMS J.计算。数学。 6, 40-67 (2003).MSC公司:19年第68季度 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Stewart},LMS J.计算。数学。6、40-67(2003年;Zbl 1087.68567) 全文: 内政部 链接
伊恩·斯图尔特(Iain A.Stewart)。 程序方案、数组、Lindström量词和零定律。 (英语) Zbl 1018.03023号 西奥。计算。科学。 275,编号1-2,283-310(2002).MSC公司:03B70号 03C13号机组 19年第68季度 2015年第68季度 03C80号 PDF格式BibTeX公司 XML格式引用 \文本{I.A.Stewart},Theor。计算。科学。275,编号1--2,283--310(2002;Zbl 1018.03023) 全文: 内政部
伊恩·斯图尔特(Iain A.Stewart)。 上下文敏感的传递闭包运算符。 (英语) 兹比尔0799.03043 Ann.纯粹应用。逻辑 66,第3期,277-301(1994年). 审核人:U.Schöning(乌尔姆) MSC公司:2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Stewart},Ann.纯苹果。逻辑66,No.3,277--301(1994;Zbl 0799.03043) 全文: 内政部
伊恩·斯图尔特(Iain A.Stewart)。 复杂性类的逻辑和示意特征。 (英语) Zbl 0790.68045号 学报信息。 30,第1期,61-87(1993). 审核人:I.A.Stewart(泰恩河畔新城堡) MSC公司:2015年第68季度 2015年3月1日 91A99型 PDF格式BibTeX公司 XML格式引用 \textit{I.A.Stewart},《信息学报》第30期,第1期,第61-87页(1993年;Zbl 0790.68045) 全文: 内政部