Darion Haase先生;埃里希·格拉德尔;理查德·威尔克 将逻辑和逻辑与团队语义分离。 (英语) Zbl 07587325号 Ann.纯粹应用。逻辑 173,第10号,文章ID 103063,13 p.(2022).MSC公司:03B70号 03B60号 03C80号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Haase}等人,Ann.Pure Appl。逻辑173,第10号,文章ID 103063,13页(2022;Zbl 07587325) 全文: 内政部
塞巴斯蒂安·恩奎斯特;塞凡·法特梅;维尼马,伊德 (mu)-演算的完备性:一种联合算法。 (英语) Zbl 1443.03012号 Ann.纯粹应用。逻辑 170,第5号,578-641(2019). 审核人:Ernst Erich Doberkat(多特蒙德) MSC公司:03B45号 03B70号 60年第68季度 91A43型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{S.Enqvist}等人,Ann.Pure Appl。逻辑170,No.5,578--641(2019;Zbl 1443.03012) 全文: 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 关于类游戏并发系统中平衡的推理。 (英语) Zbl 1400.03057号 Ann.纯粹应用。逻辑 168,第2号,373-403(2017). 审核人:马丁·兰格(卡塞尔) MSC公司:03B70号 03B44号 91A40型 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Ann.Pure Appl。逻辑168,No.2,373--403(2017;Zbl 1400.03057) 全文: 内政部
西尔维娅·斯特拉;Keita横山 反转终止定理的数学界。 (英语) Zbl 1402.03023号 Ann.纯粹应用。逻辑 167,第12号,1213-1241(2016).MSC公司:03立方厘米30 35楼03号 03B70号 10年5月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Steila}和\textit{K.横山由纪夫},Ann.Pure Appl。逻辑167,No.121213--1241(2016;Zbl 1402.03023) 全文: 内政部 arXiv公司 链接
斯特凡诺·贝拉尔迪;西尔维娅·斯特拉 拉姆齐定理的直观版本及其在程序终止中的使用。 (英语) Zbl 1378.03050号 Ann.纯粹应用。逻辑 166,第12号,1382-1406(2015).MSC公司:03楼55 03B70号 10年5月 60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{S.Berardi}和\textit{S.Steila},Ann.纯苹果。逻辑166,No.12,1382--1406(2015;Zbl 1378.03050) 全文: 内政部
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 关于记忆状态序列的推理。 (英语) Zbl 1225.68068号 Ann.纯粹应用。逻辑 161,第3号,305-323(2009).MSC公司:68号30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,Ann.Pure Appl。逻辑161,No.3,305--323(2009;Zbl 1225.68068) 全文: 内政部
帕特里夏·鲍耶;托马斯·布里海耶;Fabrice骑士 加权o-最小混合系统。 (英语) Zbl 1219.68114号 Ann.纯粹应用。逻辑 161,第3期,268-288(2009).MSC公司:60年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Ann.Pure Appl。逻辑161,No.3,268--288(2009;Zbl 1219.68114) 全文: 内政部
凯梅尔,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) 全文: 内政部
理查德·拉斯因;西尔万·佩伦内特 概率验证和近似。 (英语) Zbl 1142.68050号 Ann.纯粹应用。逻辑 152,编号1-3,122-131(2008).MSC公司:60年第68季度 68瓦20 68周25 PDF格式BibTeX公司 XML格式引用 \textit{R.Lassagne}和\textit{S.Peyronnet},Ann.纯应用。逻辑152,编号1--3,122-131(2008;Zbl 1142.68050) 全文: 内政部
迈克尔·德克蒂亚;亚历山大·迪科夫斯基;马尔斯·瓦利耶夫 交互代理行为验证的复杂性。 (英语) Zbl 1096.68143号 Ann.纯粹应用。逻辑 141,第3期,336-362(2006).MSC公司:68T27型 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Dekhtyar}等人,Ann.纯应用。逻辑141,No.3,336--362(2006;Zbl 1096.68143) 全文: 内政部
D.博基尔。 一元抽象状态机的可决定属性。 (英语) Zbl 1106.03035号 Ann.纯粹应用。逻辑 141,第3期,308-319(2006). 审核人:Albert A.Mullin(麦迪逊) MSC公司:05年3月 03B25号 60年第68季度 2005年第68季度 68问题85 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier},Ann.纯应用。逻辑141,No.3,308--319(2006;Zbl 1106.03035) 全文: 内政部
D.博基尔。;A.斯利森科。 一阶时间逻辑中基于周期的可判定类。 (英语) Zbl 1094.03017号 Ann.纯粹应用。逻辑 139,编号1-3,43-73(2006). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 03B25号 03B44号 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier}和\textit{A.Slissenko},Ann.纯粹应用。逻辑139,编号1-3-43-73(2006;Zbl 1094.03017) 全文: 内政部 哈尔
克莱尔·狄克逊;亚历山大·博洛托夫;迈克尔·费希尔 交替自动机和时序逻辑范式。 (英语) Zbl 1087.03013号 Ann.纯粹应用。逻辑 135,编号1-3,263-285(2005).MSC公司:03B44号 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,Ann.Pure Appl。逻辑135,No.1--3,263--285(2005;Zbl 1087.03013) 全文: 内政部
杜明达·威杰塞克拉;尼禄,阿尼尔 表aux用于构造并发动态逻辑。 (英语) Zbl 1094.03021号 Ann.纯粹应用。逻辑 135,编号1-3,1-72(2005). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B70号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Wijesekera}和\textit{A.Nerode},Ann.Pure Appl。逻辑135,编号1--3,1--72(2005;Zbl 1094.03021) 全文: 内政部
马库斯·弗里克;格罗赫,马丁 重温了一阶逻辑和一元二阶逻辑的复杂性。 (英语) 兹比尔1062.03032 Ann.纯粹应用。逻辑 130,编号1-3,3-31(2004). 审核人:马吕斯·齐曼德(汤森) MSC公司:2015年3月1日 2017年第68季度 03C13号机组 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Frick}和\textit{M.Grohe},Ann.Pure Appl。逻辑130,编号1--3,3--31(2004;Zbl 1062.03032) 全文: 内政部
巴斯·卢提克 关于选择量化的表现力。 (英语) Zbl 1026.03018号 Ann.纯粹应用。逻辑 121,第1期,39-87(2003).MSC公司:03B70号 68问题85 03D40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Luttik},Ann.纯粹应用。逻辑121,No.1,39--87(2003;Zbl 1026.03018) 全文: 内政部
弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 公理化一阶时间逻辑的一元片段。 (英语) Zbl 1031.03023号 Ann.纯粹应用。逻辑 118,编号1-2,133-145(2002). 审核人:彼得·扬查尔(俄斯特拉发) MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev},Ann.Pure Appl。逻辑118,No.1--2,133--145(2002;Zbl 1031.03023) 全文: 内政部
弗拉基米尔·克鲁普西。 单结论证明逻辑和推理规则规范。 (英语) Zbl 0992.03068号 Ann.纯粹应用。逻辑 113,编号1-3181-206(2002).MSC公司:07年3月 03层45 30楼03号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.N.Krupski},Ann.《纯粹的应用》。逻辑113,编号1--3,181-206(2002;Zbl 0992.03068) 全文: 内政部
丹尼尔·博基尔;阿纳托尔·斯利森科 时间算法规范的一阶逻辑:基本属性和可判定类。 (英语) Zbl 0988.03055号 Ann.纯粹应用。逻辑 113,编号1-3,13-52(2002).MSC公司:03B70号 60年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier}和\textit{A.Slissenko},Ann.纯粹应用。逻辑113,编号1--3,13-52(2002;Zbl 0988.03055) 全文: 内政部
乌尔里希·伯杰;威尔弗里德·巴赫霍尔茨;赫尔穆特·施维赫滕贝格 从经典证明中提取的精化程序。 (英语) Zbl 0992.03070号 Ann.纯粹应用。逻辑 114,第1-3、3-25号(2002年).MSC公司:2010年1月3日 60年第68季度 03楼50 PDF格式BibTeX公司 XML格式引用 \textit{U.Berger}等人,Ann.Pure Appl。逻辑114,编号1--3,3--25(2002;Zbl 0992.03070) 全文: 内政部
伊恩·霍德金森;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 一阶时序逻辑的可判定片段。 (英语) Zbl 0999.03015号 Ann.纯粹应用。逻辑 106,编号1-3,85-134(2000). 审核人:马丁·霍夫曼(慕尼黑) MSC公司:03B44号 03B25号 第68页,共15页 60年第68季度 68立方英尺 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson}等人,Ann.Pure Appl。逻辑106,编号1--3,85-134(2000;Zbl 0999.03015) 全文: 内政部
大卫·哈雷尔;伊莱·辛格曼 计算路径逻辑:一种表达性的但基本的过程逻辑。 (英语) Zbl 0931.03044号 Ann.纯粹应用。逻辑 96,第1-3号,167-186(1999). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B70号 60年第68季度 68问题85 03B25号 2015年3月1日 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{E.Singerman},Ann.Pure Appl。逻辑96,No.1--3,167--186(1999;Zbl 0931.03044) 全文: 内政部
杰斯珀·亨利克森。;蒂亚加拉扬,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) 全文: 内政部
克里斯托弗·拉菲利 所有类型的语义存储运算符定理。 (英语) 兹比尔0899.03014 Ann.纯粹应用。逻辑 91,第1期,17-31(1998). 审核人:卡里姆·努尔(Le Bourget-du-Lac) MSC公司:03B40型 60年第68季度 35楼03号 PDF格式BibTeX公司 XML格式引用 \textit{C.Raffalli},Ann.纯粹应用。逻辑91,No.1,17--31(1998;Zbl 0899.03014) 全文: 内政部
巴拉兹比罗;伊尔迪科·塞恩 皮亚诺算法是程序逻辑和动态逻辑中时间框架的公理化。 (英语) Zbl 0789.03028号 Ann.纯粹应用。逻辑 63,第3201-225号(1993年). 审核人:J.-J.Ch.Meyer(乌得勒支) MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Biró}和\textit{I.Sain},Ann.纯粹应用。逻辑63,No.3,201--225(1993;Zbl 0789.03028) 全文: 内政部
莫舍·瓦尔迪。 并发程序的验证:自动机理论框架。 (英语) Zbl 0725.03013号 Ann.纯粹应用。逻辑 51,编号1-2,79-98(1991). 审核人:A.P.斯托尔布什金(佩雷斯拉夫·泽莱斯基) MSC公司:03B70号 05年3月 60年第68季度 第68季度10 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi},Ann.纯应用。逻辑51,编号1--2,79-98(1991;Zbl 0725.03013) 全文: 内政部
亚克尼斯,亚历山大;弗拉基米尔·亚克尼斯 Gurevich-Harrington限制记忆确定性定理的推广:获胜球员的标准和一类明确的获胜策略。 (英语) Zbl 0716.03036号 Ann.纯粹应用。逻辑 48,第3期,277-297(1990). 审核人:李翔 MSC公司:05年3月 91A05型 第68季度10 03B25号 91A80型 03E60年 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Yakhnis}和\textit{V.Yakhnis},Ann.纯粹应用。逻辑48,No.3,277--297(1990;Zbl 0716.03036) 全文: 内政部
E.J.法卡斯。;M.E.萨博。 关于Peano算法中并行程序的形式化解释。 (英语) 兹伯利0641.68022 Ann.纯粹应用。逻辑 37,第2期,111-127(1988). 审核人:J.Šindelář MSC公司:60年第68季度 第68页第25页 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) 全文: 内政部