Wałga,Przemys aw Andrzej 混合区间时序逻辑的计算复杂性。 (英语) Zbl 1512.03029号 Ann.纯粹应用。逻辑 174,第1号,文章ID 103165,33页(2023). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B44号 03B70号 03B45 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Waęga},Ann.纯应用。逻辑174,第1号,文章ID 103165,33页(2023;Zbl 1512.03029) 全文: 内政部
莫里茨·米勒 典型强迫、NP搜索问题和Riis定理的推广。 (英语) Zbl 1496.03239号 Ann.纯粹应用。逻辑 172,第4期,文章ID 102930,44页(2021). 审核人:Mihai Prunescu(布加勒斯特) MSC公司:20层03 30楼03号 03C25号 03C62号 2015年3月1日 03E75型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.米勒},安。纯苹果。逻辑172,第4号,文章ID 102930,44页(2021;Zbl 1496.03239) 全文: 内政部 arXiv公司
斯特凡·丹切夫;巴纳比·马丁 基于解析的命题证明系统中可处理性的限制。 (英语) Zbl 1251.03070号 Ann.纯粹应用。逻辑 163,第6期,656-668(2012).MSC公司:20层03 PDF格式BibTeX公司 XML格式引用 \textit{S.Dantchev}和\textit{B.Martin},Ann.纯应用。逻辑163,No.6,656--668(2012;Zbl 1251.03070) 全文: 内政部
诺里希罗·卡米德 有界线性时间逻辑:一项实证研究。 (英语) Zbl 1241.03015号 Ann.纯粹应用。逻辑 第4期第163页,第439-466页(2012年).MSC公司:03B44号 03B45 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},Ann.纯苹果。逻辑163,No.4,439--466(2012;Zbl 1241.03015) 全文: 内政部
凯梅尔,K。;罗森布施,A。;斯特里彻,T。 概率不确定性语言的状态和谓词转换语义之间的Minkowski型对偶。 (英语) Zbl 1167.68034号 Ann.纯粹应用。逻辑 159,第3期,307-317(2009).MSC公司:第68季度55 06B35号 60年第68季度 52A07号 PDF格式BibTeX公司 XML格式引用 \textit{K.Keimel}等人,Ann.Pure Appl。逻辑159,No.3,307--317(2009;Zbl 1167.68034) 全文: 内政部
阿诺德·贝克曼;Samuel R.巴斯。 恒深命题证明大小的分离结果。 (英语) Zbl 1089.03048号 Ann.纯粹应用。逻辑 136,第1-2号,30-55(2005).MSC公司:20层03 2007年3月 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Beckmann}和\textit{S.R.Buss},Ann.Pure Appl。逻辑136,编号1--2,30-55(2005;Zbl 1089.03048) 全文: 内政部
Makowsky,J.A。 费费曼-沃特定理的算法应用。 (英语) 邮编1099.03009 Ann.纯粹应用。逻辑 126,编号1-3,159-213(2004). 审核人:S.R.Kogalovskij(伊万诺沃) MSC公司:03B25号 03C40号 03B15号机组 65年第68季度 05C85号 05年6月29日 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Makowsky},Ann.《纯粹的应用》。逻辑126,No.1--3159-213(2004;Zbl 1099.03009) 全文: 内政部
弗拉基米尔·利夫希茨 关于计算证明。 (英语) Zbl 0992.03069号 Ann.纯粹应用。逻辑 113,编号1-3,207-224(2002).MSC公司:2007年3月 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{V.Lifschitz},Ann.纯应用。逻辑113,编号1--3,207--224(2002;Zbl 0992.03069) 全文: 内政部
Noriko H.Arai。 命题证明系统的相对效率:解析与无割LK。 (英语) Zbl 0959.03045号 Ann.纯粹应用。逻辑 104,编号1-3,3-16(2000).MSC公司:20层03 05年3月 03B35型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{N.H.Arai},Ann.纯粹应用。逻辑104,编号1--3,3--16(2000;Zbl 0959.03045) 全文: 内政部
乔治·戈特洛布;尼古拉·利昂;赫尔穆特·维思 简洁是逻辑形式主义复杂性的根源。 (英语) Zbl 0933.03048号 Ann.纯粹应用。逻辑 97,编号1-3,231-260(1999).MSC公司:2015年3月1日 03C13号机组 03C85号 19年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Gottlob}等人,Ann.Pure Appl。逻辑97,编号1--3,231--260(1999;Zbl 0933.03048) 全文: 内政部
杰斯珀·亨利克森。;蒂亚加拉扬,P.S。 动态线性时间时序逻辑。 (英语) Zbl 0931.03033号 Ann.纯粹应用。逻辑 96,编号1-3,187-207(1999).MSC公司:03B44号 03B70号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Henriksen}和\textit{P.S.Thiagarajan},Ann.Pure Appl。逻辑96,编号1--3,187-207(1999;Zbl 0931.03033) 全文: 内政部
巴哈迪尔·库萨诺夫 随机性、可计算性和代数规范。 (英语) Zbl 0915.03037号 Ann.纯粹应用。逻辑 91,编号1,1-15(1998). 审核人:V.Ya.公司。克雷诺维奇(埃尔帕索) MSC公司:03D45号 68问题30 03C05号机组 03天80 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{B.Khoussainov},Ann.纯粹应用。逻辑91,No.1,1--15(1998;Zbl 0915.03037) 全文: 内政部
埃里希·格拉德尔;格雷戈里·麦科姆。 传递闭包逻辑、分层数据日志和无限逻辑中的层次结构。 (英语) Zbl 0856.03026号 Ann.纯粹应用。逻辑 77,第2期,169-199(1996). 审核人:J.Flum(弗赖堡i.Br.) MSC公司:03C13号机组 03C75号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel}和\textit{G.L.McColm},Ann.Pure Appl。逻辑77,No.2,169--199(1996;Zbl 0856.03026) 全文: 内政部
Gilles Dowek 三阶匹配是可判定的。 (英语) Zbl 0822.03010号 Ann.纯粹应用。逻辑 69,编号2-3,135-155(1994). 审核人:T.Hikita(川崎) MSC公司:03B40型 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{G.Dowek},Ann.纯粹应用。逻辑69,编号2--3,135-155(1994;Zbl 0822.03010) 全文: 内政部
罗伯特·哈珀;唐纳德·桑内拉;安德烈·塔莱基 结构化理论陈述和逻辑表示。 (英语) Zbl 0809.03019号 Ann.纯粹应用。逻辑 67,编号1-3,113-160(1994). 审核人:N.Curteanu(伊阿什) MSC公司:03B70号 03B40型 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{R.Harper}等人,Ann.Pure Appl。逻辑67,编号1--3,113-160(1994;Zbl 0809.03019) 全文: 内政部
伊恩·斯图尔特(Iain A.Stewart)。 上下文敏感的传递闭包运算符。 (英语) Zbl 0799.03043号 Ann.纯粹应用。逻辑 66,第3期,277-301(1994年). 审核人:U.Schöning(乌尔姆) MSC公司:2015年3月1日 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信{I.A.Stewart},Ann.Pure Appl。逻辑66,No.3,277--301(1994;Zbl 0799.03043) 全文: 内政部
萨姆森·艾布拉姆斯基 逻辑形式的领域理论。 (英语) Zbl 0737.03006号 Ann.纯粹应用。逻辑 51,编号1-2,1-77(1991). 审核人:G.乔巴努(伊阿什) MSC公司:03B70号 第68季度55 2015年6月 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky},Ann.纯粹应用。逻辑51,编号1--2,1--77(1991;Zbl 0737.03006) 全文: 内政部
莫舍·瓦尔迪。 并发程序的验证:自动机理论框架。 (英语) 兹比尔0725.03013 Ann.纯粹应用。逻辑 51,编号1-2,79-98(1991). 审核人:A.P.斯托尔布什金(佩雷斯拉夫·泽莱斯基) MSC公司:03B70号 05年3月 60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi},Ann.纯应用。逻辑51,编号1--2,79-98(1991;Zbl 0725.03013) 全文: 内政部
戴尔·米勒;戈帕兰·纳达图尔;弗兰克·芬宁;安德烈·斯克洛夫 统一证明是逻辑编程的基础。 (英语) Zbl 0721.03037号 Ann.纯粹应用。逻辑 51,编号1-2,125-157(1991). 审核人:G.薄荷(塔林) MSC公司:05年3月 68N17号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Miller}等人,Ann.Pure Appl。逻辑51,编号1--2,125-157(1991;Zbl 0721.03037) 全文: 内政部
Farmer,William M。 二阶一元项的统一算法。 (英语) Zbl 0655.03004号 Ann.纯粹应用。逻辑 39,第2期,131-174(1988). 审核人:C.马萨拉吉 MSC公司:03B15号机组 03C05号机组 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{W.M.Farmer},Ann.纯苹果。逻辑39,编号2131-174(1988;Zbl 0655.03004) 全文: 内政部
法尔卡斯,E.J。;M.E.萨博。 关于Peano算法中并行程序的形式化解释。 (英语) Zbl 0641.68022号 Ann.纯粹应用。逻辑 37,第2期,111-127(1988). 审核人:J.Šindelář MSC公司:60年第68季度 68N25号 03日70 PDF格式BibTeX公司 XML格式引用 \textit{E.J.Farkas}和\textit{M.E.Szabo},Ann.Pure Appl。逻辑37,No.2,111--127(1988;Zbl 0641.68022) 全文: 内政部