德米特里·伊特西克森;亚历山大·诺普;安德烈·罗马什琴科;德米特里·索科洛夫 基于OBDD的动态改变变量顺序的算法和证明系统。 (英语) Zbl 1497.68218号 J.塞姆。日志。 85,第2号,632-670(2020).MSC公司:2011年第68季度 20层03 68兰特 94B05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Itsykson}等人,J.Symb。日志。85,No.2,632--670(2020;Zbl 1497.68218) 全文: 内政部 链接
伊恩·普拉特·哈特曼;斯瓦特、维埃索;利迪亚·坦德拉 带凹槽的碎片再次出现。 (英语) Zbl 1468.03005号 J.塞姆。日志。 84,第3期,1020-1048(2019).MSC公司:03秒20 03B25号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Pratt-Hartmann}等人,J.Symb。日志。84,第3号,1020--1048(2019;Zbl 1468.03005) 全文: 内政部 arXiv公司 链接
尤金尼奥·奥莫多;阿尔贝托,Policriti 集合论的Bernays-Schönfinkel-Ramsey类:可判定性。 (英语) Zbl 1251.03025号 J.塞姆。日志。 77,第3期,896-918(2012).MSC公司:03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Omodeo}和\textit{A.Policriti},J.Symb。日志。77,第3号,896--918(2012;Zbl 1251.03025) 全文: 内政部 欧几里得
伊曼纽尔·基伦斯基;马丁·奥托 具有两个变量的一阶逻辑的小子结构和可判定性问题。 (英语) Zbl 1284.03136号 J.塞姆。日志。 77,第3期,729-765(2012). 审核人:安德烈·莫罗佐夫(新西伯利亚) MSC公司:03B25号 03C07号机组 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Kieroński}和\textit{M.Otto},J.Symb。日志。77,第3号,729--765(2012;Zbl 1284.03136) 全文: 内政部 欧几里得
尤金尼奥·奥莫多;阿尔贝托,Policriti 集合论的Bernays-Schönfinkel-Ramsey类:半可判定性。 (英语) Zbl 1201.03007号 J.塞姆。日志。 75,第2期,459-480(2010). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B25号 03E99型 PDF格式BibTeX公司 XML格式引用 \textit{E.Omodeo}和\textit{A.Policiti},J.Symb。日志。75,第2号,459--480(2010;Zbl 1201.03007) 全文: 内政部
斯特凡·格勒;马库斯·洛伊;卡斯滕·卢茨 具有交集和逆向的PDL:可满足性和无限状态模型检查。 (英语) Zbl 1181.03034号 J.塞姆。日志。 74,第1期,279-314(2009). 审核人:罗杰·维尔梅尔(蒙特勒) MSC公司:03B70号 05年3月 2017年第68季度 65年第68季度 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{S.Göller}等人,J.Symb。日志。74,第1号,279--314(2009;Zbl 1181.03034) 全文: 内政部
雷诺兹,M。 完整计算树逻辑的公理化。 (英语) Zbl 1002.03015号 J.塞姆。日志。 66,第3期,1011-1057(2001). 审核人:彼得·扬查尔(俄斯特拉发) MSC公司:03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},J.Symb。日志。66,第3号,1011--1057(2001;Zbl 1002.03015) 全文: 内政部 链接
马丁·奥托 有序域上的双变量一阶逻辑。 (英语) Zbl 0990.03005号 J.塞姆。日志。 66,第2期,685-702(2001).MSC公司:03B25号 03秒20 2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Otto},J.Symb。日志。66,第2号,685--702(2001;Zbl 0990.03005) 全文: 内政部
埃里希·格拉德尔 关于警卫的约束权。 (英语) 兹比尔0958.03027 J.塞姆。日志。 64,第4期,1719-1742(1999). 审核人:M.Teruamšvili(第比利斯) MSC公司:2015年3月1日 03B25号 03秒20 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{E.Grädel},J.Symb。日志。64,第4号,1719-1742(1999;Zbl 0958.03027) 全文: 内政部
威廉·C·珀迪。 奎因的“决策极限”。 (英语) 兹比尔0994.03004 J.塞姆。日志。 64,第4期,1439-1466(1999). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B25号 03G25 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Purdy},J.Symb(J.塞姆)。日志。64,第4号,1439--1466(1999;Zbl 0994.03004) 全文: 内政部
安德烈·沃伦科夫 一阶逻辑的接地负片段是(Pi_2^p)-完成的。 (英语) Zbl 0941.03039号 J.塞姆。日志。 64,第3号,984-990(1999). 审核人:M.Tetruašvili(第比利斯) MSC公司:2015年3月1日 03B25号 03秒20 PDF格式BibTeX公司 XML格式引用 \textit{A.Voronkov},J.Symb(J.塞姆)。日志。64,第3号,984--990(1999;Zbl 0941.03039) 全文: 内政部
威廉·C·珀迪。 凹槽公式和可判定极限。 (英语) Zbl 0858.03012号 J.塞姆。日志。 61,第2期,608-620(1996). 审核人:J.M.Plotkin(东兰辛) MSC公司:03B25号 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.C.Purdy},J.Symb(J.塞姆)。日志。61,第2号,608--620(1996;Zbl 0858.03012) 全文: 内政部 链接
恩里克·卡萨诺瓦斯 紧凑的可扩展模型和稳定性。 (英语) Zbl 0827.03021号 J.塞姆。日志。 60,第2期,673-683(1995). 审核人:C.托法洛里(卡梅里诺) MSC公司:03元50分 03C45号机组 PDF格式BibTeX公司 XML格式引用 \textit{E.Casanovas},J.Symb。日志。60,第2号,673--683(1995;Zbl 0827.03021) 全文: 内政部
沃伦·戈德法布 随机模型和可解的Skolem类。 (英语) Zbl 0797.03003号 J.塞姆。日志。 58,第3期,908-914(1993). 审核人:S.R.Kogalovskij(伊万诺沃) MSC公司:03B25号 03C90号 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{W.Goldfarb},J.Symb。日志。58,第3号,908--914(1993;Zbl 0797.03003) 全文: 内政部
沃伦·戈德法布 随机模型和Maslov类。 (英语) Zbl 0702.03005号 J.塞姆。日志。 54,第2期,460-466(1989). 审核人:G.薄荷 MSC公司:03B25号 PDF格式BibTeX公司 XML格式引用 \textit{W.Goldfarb},J.Symb。日志。54,编号2,460-466(1989年;Zbl 0702.03005) 全文: 内政部
杰罗姆·马利茨 句子\(L^{1,1}\)可满足性的向下转移。 (英语) Zbl 0537.03025号 J.塞姆。日志。 48, 1146-1150 (1983). 审核人:D.蒙迪奇 MSC公司:03C80号 PDF格式BibTeX公司 XML格式引用 \textit{J.马利茨},J.塞姆。日志。481146--1150(1983年;Zbl 0537.03025) 全文: 内政部
尤里·古里维奇;萨拉、撒哈拉 随机模型和决策问题的哥德尔情形。 (英语) Zbl 0534.03006号 J.塞姆。日志。 48, 1120-1124 (1983). 审核人:M.R.Krom先生 MSC公司:03B25号 03天35分 03C13号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich}和\textit{S.Shelah},J.Symb。日志。481120年-1124年(1983年;兹bl 0534.03006) 全文: 内政部
圣奥州阿安德拉。;伊贡博格尔;哈里·刘易斯。 Krom公式的保守约化类。 (英语) Zbl 0487.03005号 J.塞姆。日志。 47, 110-130 (1982).MSC公司:03B10号机组 03B25号 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{S.O.Aandera}等人,J.Symb。日志。47110-130(1982年;兹bl 0487.03005) 全文: 内政部