让·古鲍特·拉雷克;巴斯蒂安·拉布雷克斯 Noetherian空间的形态和清醒等级。 (英语) Zbl 07800541号 休斯顿J.数学。 49,编号1,1-76(2023).MSC公司:54G99型 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq}和\textit{B.Laboureix},休斯顿数学杂志。49,编号1,1--76(2023;Zbl 07800541) 全文: arXiv公司 链接
让·古鲍特·拉雷克;西蒙·哈尔丰;阿利奥姆·洛佩兹 无限Noetherian结构。二: 超限单词和常规子单词拓扑。 (英语) Zbl 07763140号 集体数学。 173,编号2,227-250(2023).MSC公司:54G99型 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{J.Goubault-Larrecq}等人,《大学数学》。173,编号2,227--250(2023;Zbl 07763140) 全文: 内政部 arXiv公司
乌里法伦伯格;克里斯蒂安·约翰森;乔治·斯特鲁斯;Krzysztof,Zimiañski Catoid和模态卷积代数。 (英语) 兹伯利07657582 代数大学。 84,第2期,第10号论文,40页(2023年).MSC公司:03B45号 07年6月 20M75型 PDF格式BibTeX公司 XML格式引用 \textit{U.Fahrenberg}等人,代数大学。84,第2号,第10号文件,第40页(2023;Zbl 07657582) 全文: 内政部
米盖尔·坎佩尔科利;卡斯塔尼奥,迭戈·尼科拉斯;迪亚斯·瓦雷拉,何塞·帕特里西奥;琼·吉斯佩特 逻辑的代数展开。 (英语) Zbl 07657275号 J.塞姆。日志。 88,编号1,74-92(2023).MSC公司:03G27号 05年6月 20层06 PDF格式BibTeX公司 XML格式引用 \textit{M.Campercholi}等人,J.Symb。日志。88,编号1,74-92(2023;Zbl 07657275) 全文: 内政部
尼克·贝扎尼什维利;卢卡·卡莱;西尔维奥·吉拉尔迪;露西娅·兰迪 (\Pi_2)推理规则的可容许性:插值、模型完成和接触代数。 (英语) Zbl 07601551号 Ann.纯粹应用。逻辑 174,第1号,文章ID 103169,31页(2023).MSC公司:03B45号 03C10号机组 06E25年 54欧元 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}等人,Ann.Pure Appl。逻辑174,第1号,文章ID 103169,31页(2023;Zbl 07601551) 全文: 内政部 arXiv公司
伊万诺夫,列夫根 关于偏序的归纳原理。 (英语) Zbl 07580913号 日志。Univers大学。 16,编号1-2,105-147(2022).MSC公司:03B70号 03B35型 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{I.Ivanov},日志。Univers大学。16,编号1--2,105-147(2022;Zbl 07580913) 全文: 内政部 反向链接: 卫生官员
卡塔里娜·卡瓦略;巴纳比·马丁 多重突变的格和半群结构。 (英语) Zbl 07492582号 国际代数计算杂志。 32,第2期,211-235(2022).MSC公司:05年6月 2015年第68季度 20个M10 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{C.Carvalho}和\textit{B.Martin},国际代数计算杂志。32,第2号,211--235(2022;Zbl 07492582) 全文: 内政部 arXiv公司
布鲁诺·库塞尔 诱导有序理论树的中间性。 (英语) Zbl 07594864号 离散数学。西奥。计算。科学。 23,第2号,第6号论文,29页(2021年).MSC公司:03B16号 06A07年 05二氧化碳 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},离散数学。西奥。计算。科学。23,第2号,第6号论文,29页(2021;Zbl 07594864) 全文: 内政部 arXiv公司 链接
詹姆斯·克兰奇;西蒙·多尔蒂;乔治·斯特鲁斯 卷积和并发。 (英语) Zbl 1490.68139号 数学。结构。计算。科学。 31,第8期,918-949(2021).MSC公司:68问题85 03G25 07年6月 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Cranch}等人,数学。结构。计算。科学。31,第8号,918--949(2021;Zbl 1490.68139) 全文: 内政部 arXiv公司
凯文·巴茨;陈明帅;本杰明·卢西恩·卡明斯基;Joost-Pieter卡托恩;克里斯托夫·马提亚;菲利普·施勒 格型归纳法及其在概率程序中的应用。 (英语) Zbl 1493.68204号 Silva,Alexandra(编辑)等人,《计算机辅助验证》。第33届国际会议,CAV 2021,虚拟活动,2021年7月20日至23日。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。12760, 524-549 (2021).MSC公司:60年第68季度 06B23号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{K.Batz}等人,Lect。注释计算。科学。12760524--549(2021年;Zbl 1493.68204) 全文: 内政部 arXiv公司
埃米尔·杰瓦贝克 克隆成员资格问题的复杂性。 (英语) Zbl 1522.68240号 理论计算。系统。 65,编号5,839-868(2021).MSC公司:65年第68季度 06E30年 08A40号 2006年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Jeřábek},理论计算。系统。65,编号5839-868(2021;Zbl 1522.68240) 全文: 内政部 arXiv公司
莱昂纳多·卡布雷(Leonardo M.Cabrer)。;希拉里·普里斯特利(Hilary A.Priestley)。 杉原代数和杉原幺半群:多重对偶。 (英语) Zbl 1505.03141号 数学。斯洛伐克语 70,第1期,5-28(2020).MSC公司:03G25 05年6月 08C15号 PDF格式BibTeX公司 XML格式引用 \textit{L.M.Cabrer}和\textit{H.A.Priestley},数学。斯洛文尼亚70,No.1,5--28(2020;Zbl 1505.03141) 全文: 内政部
西尔维奥·吉拉尔迪;圣托卡纳莱,路易吉 自由Heyting代数自同态:Ruitenburg定理及其以外。 (英语) Zbl 07283030号 数学。结构。计算。科学。 第6号第30页,第572-596页(2020年).MSC公司:06D20日 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilardi}和\textit{L.Santocanale},数学。结构。计算。科学。30,编号6,572--596(2020;Zbl 07283030) 全文: 内政部 arXiv公司
阿尔贝托·马可尼 wqos和bqos的反向数学。 (英语) Zbl 1496.03035号 Schuster,Peter M.(编辑)等人,《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆(DMV)内举行的关于良好准序:从理论到应用的小型研讨会,以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 189-219 (2020).MSC公司:03B30型 35楼03号 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{A.Marcone},趋势日志。螺柱日志。伦敦银行同业拆借利率。53、189--219(2020年;Zbl 1496.03035) 全文: 内政部 arXiv公司
米尔纳季阿蒙加;西尔万·施密茨;菲利普·施诺贝伦 关于好拟阶和有限反链阶中的序数不变量。 (英语) Zbl 1481.03046号 Schuster,Peter M.(编辑)等人,《计算、逻辑、语言和推理中的Well准序》。证明理论、自动机理论、形式语言和描述性集合理论的统一概念。基于2015年9月21日至25日在德国汉堡举行的德国数学博物馆(DMV)内举行的关于良好准序:从理论到应用的小型研讨会,以及2016年1月17日至22日在德国达格斯图尔学院举行的关于计算机科学中良好准序的达格斯图研讨会16031。查姆:斯普林格。趋势日志。螺柱日志。伦敦银行同业拆借利率。53, 29-54 (2020).MSC公司:03E10年 03E05号 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{M.Díamonja}等人,《趋势日志》。螺柱日志。伦敦银行同业拆借利率。53、29-54(2020年;Zbl 1481.03046) 全文: 内政部 arXiv公司
伊万诺娃,塔季扬娜 扩展接触代数和内部连通性。 (英语) Zbl 1484.06048号 螺柱日志。 108,第2期,239-254(2020年).MSC公司:06E25年 PDF格式BibTeX公司 XML格式引用 \textit{T.Ivanova},螺柱日志。108,第2号,239--254(2020;Zbl 1484.06048) 全文: 内政部
罗伯特·福伯;拉杜·马达尔;Mio、Matteo 基于Riesz空间的概率逻辑。 (英语) Zbl 1442.03010号 日志。方法计算。科学。 16,第1号,第6号论文,45页(2020年).MSC公司:03B45号 03B48号 03B70号 20层06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Furber}等人,日志。方法计算。科学。16,第1号,第6号论文,45页(2020;Zbl 1442.03010) 全文: arXiv公司
弗雷德里克·劳里德森。 中间逻辑承认结构超连续演算。 (英语) Zbl 1494.03069号 螺柱日志。 107,第2期,247-282(2019).MSC公司:03B55号 05年3月 03财年03 06D20日 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Lauridsen},螺柱日志。107,第2号,247--282(2019;Zbl 1494.03069) 全文: 内政部
保罗·利帕里尼 无限天然产物。 (英语) Zbl 1522.03186号 安。数学。Sil.公司。 32, 247-262 (2018).MSC公司:03E10年 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{P.Lipparini},Ann.数学。Sil.公司。32247--262(2018;Zbl 1522.03186) 全文: 内政部 arXiv公司
弗洛伦特·马德琳。;巴纳比·D·马丁。 关于模型检查问题的复杂性。 (英语) Zbl 1393.68078号 SIAM J.计算。 47,第3期,769-797(2018).MSC公司:65年第68季度 03B70号 2015年1月6日 08A70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.R.Madeline}和\textit{B.D.Martin},SIAM J.Comput。47,第3号,769--797(2018;Zbl 1393.68078) 全文: 内政部 arXiv公司 链接
Delhommé,基督徒;莫里斯·普泽特 交叉口的长度。 (英语) Zbl 1469.06004号 数学。日志。问:。 63,编号3-4,243-255(2017).MSC公司:06年06月06日 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{C.Delhommé}和\textit{M.Pouzet},数学。日志。问63,第3-4、243--255号(2017;Zbl 1469.06004) 全文: 内政部 arXiv公司
马丁·胡申贝特;亚历山大·卡尔佐夫;菲利普·施利希特 顺序自动结构的泵送。 (英语) Zbl 1420.03088号 可计算性 6,第2期,125-164(2017).MSC公司:05年3月 03D60年 03C57号 03元52分 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{M.Huschenbett}等人,可计算性6,No.2,125--164(2017;Zbl 1420.03088) 全文: 内政部
罗兰·格里克 关联组件的代数研究。 (英语) Zbl 1486.68100号 Höfner,Peter(编辑)等人,《计算机科学中的关系和代数方法》。2017年5月15日至18日在法国里昂举行的2017年RAMiCS第16届国际会议。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10226, 109-126 (2017).MSC公司:68问题55 05C40号 06时30分 05年6月 PDF格式BibTeX公司 XML格式引用 \textit{R.Glück},莱克特。注释计算。科学。10226、109-126(2017;Zbl 1486.68100) 全文: 内政部
阿特姆·科扎;多兹,迈克;阿列克谢·戈茨曼;马修·帕金森 用偏序证明线性化能力。 (英语) Zbl 1485.68084号 Yang,Hongseok(编辑),《编程语言和系统》。2017年4月22日至29日在瑞典乌普萨拉举行的第26届欧洲编程研讨会(ESOP 2017),是欧洲软件理论与实践联合会议(ETAPS 2017)的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10201, 639-667 (2017).MSC公司:68第05页 03B70号 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{A.Khyzha}等人,Lect。注释计算。科学。10201、639--667(2017;Zbl 1485.68084) 全文: 内政部 arXiv公司
默多克·J·加贝。;迈克尔·加巴伊 非类型lambda演算在名义格和拓扑语义中的表示和对偶,以及拓扑完备性的证明。 (英语) 兹比尔1422.03023 Ann.纯粹应用。逻辑 168,第3期,501-621(2017).MSC公司:03B40型 06年50月 03C55号 03G25 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{M.Gabbay},Ann.纯粹应用。逻辑168,No.3,501--621(2017;Zbl 1422.03023) 全文: 内政部 arXiv公司 链接
Carayol,阿诺;佐尔坦·埃西克 对建立良好的不动点的方程性质的分析。 (英语) Zbl 1373.06004号 J.日志。阿尔盖布。方法计划。 86,第1号,308-318(2017).MSC公司:06B23号 68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Carayol}和\textit{Z.埃西克},J.Log。阿尔盖布。方法计划。86,第1号,308--318(2017;Zbl 1373.06004) 全文: 内政部 arXiv公司
Hitoshi Furusawa;乔治·斯特鲁斯 缓和多重关系。 (英语) Zbl 1407.03080号 ACM事务处理。计算。日志。 17,第4号,第28条,第34页(2016年).MSC公司:03G25 03E20型 07年6月 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Furusawa}和\textit{G.Struth},ACM Trans。计算。日志。17,第4号,第28条,第34页(2016;Zbl 1407.03080) 全文: 内政部 arXiv公司
Dongol,布里耶什;伊恩·海耶斯。;乔治·斯特鲁斯 卷积作为一个统一的概念:在分离逻辑、区间计算和并发中的应用。 (英语) Zbl 1367.68210号 ACM事务处理。计算。日志。 17,第3号,第15条,第25页(2016年).MSC公司:68问题85 03B70号 07年6月 68问题55 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Dongol}等人,ACM Trans。计算。日志。17,第3号,第15条,第25页(2016;Zbl 1367.68210) 全文: 内政部
尼古拉斯·加拉托斯;乔治·梅特卡夫 格序群的证明理论。 (英语) Zbl 1348.06011号 Ann.纯粹应用。逻辑 167,第8期,707-724(2016). 审核人:Michiro Kondo(Inzai) MSC公司:2015年1月6日 20层06 05年3月 08A50号 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{N.Galatos}和\textit{G.Metcalfe},Ann.Pure Appl。逻辑167,No.8,707--724(2016;Zbl 1348.06011) 全文: 内政部
桑杰·贾恩;Khoussainov,巴哈迪尔;菲利普·施利希特;弗兰克·斯蒂芬 树自动分散线性顺序。 (英语) Zbl 1339.03030号 西奥。计算。科学。 626, 83-96 (2016).MSC公司:05年3月 03C57号 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{S.Jain}等人,Theor。计算。科学。626,83-96(2016;Zbl 1339.03030) 全文: 内政部
梅·盖尔克 石头对偶、拓扑代数和识别。 (英语) Zbl 1339.06012号 J.纯应用。代数 220,第7号,2711-2747(2016). 审核人:丹尼尔·蒙迪奇(费伦泽) MSC公司:06年50月 2015年6月 20立方米 22A30型 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Gehrke},J.Pure应用。代数220,第7期,2711--2747(2016;Zbl 1339.06012) 全文: 内政部 arXiv公司
西蒙·波娃;罗伯特·加尼安;斯泽德,斯特凡 部分有序集上的量化联合查询。 (英语) Zbl 1335.68133号 西奥。计算。科学。 618, 72-84 (2016).MSC公司:60年第68季度 06年06月06日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bova}等人,Theor。计算。科学。61872--84(2016年;Zbl 1335.68133) 全文: 内政部
彼得·富拉;斯坦尼斯拉夫·伊文 无限大小的值约束语言的Galois连接。 (英语) Zbl 1440.68115号 Halldórsson,Magnüs M.(编辑)等人,《自动化、语言和编程》。第42届国际学术讨论会,ICALP 2015,日本京都,2015年7月6日至10日。诉讼程序。第一部分柏林:施普林格。莱克特。注释计算。科学。9134, 517-528 (2015).MSC公司:65年第68季度 2015年1月6日 08A40号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Fulla}和\textit{S.Zhi ivní},Lect。注释计算。科学。9134517--528(2015;Zbl 1440.68115) 全文: 内政部
佐尔坦·埃西克 分层最小不动点的方程性质(扩展抽象)。 (英语) 兹比尔1465.68169 Paiva,Valeria(编辑)等人,《逻辑、语言、信息和计算》。第22届国际研讨会,2015年7月20日至23日,美国印第安纳州布卢明顿,WoLLIC。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9160, 174-188 (2015).MSC公司:68问题55 06B23号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{Z.e-sik},Lect(勒克图)。注释计算。科学。9160174-188(2015;Zbl 1465.68169) 全文: 内政部 arXiv公司
佐尔坦·埃西克;帕诺斯·朗多吉安尼 非单调函数的不动点定理。 (英语) Zbl 1318.68066号 西奥。计算。科学。 574, 18-38 (2015).MSC公司:68N17号 06B23号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{Z.esik}和\textit{P.Rondogiannis},Theor。计算。科学。574、18-38(2015年;Zbl 1318.68066) 全文: 内政部 arXiv公司
阿达梅克,吉安尼;罗伯特·S·R·迈尔斯。;海宁·乌尔巴特 关于连续不确定性和状态极小。 (英语) Zbl 1337.68171号 Jacobs,Bart(编辑)等人,《第30届编程语义数学基础会议论文集》(MFPS XXX),美国纽约州伊萨卡,2014年6月12日至15日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记308,3-23,仅电子版(2014)。MSC公司:70年第68季度 2012年1月6日 18B30型 54B30型 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,《电子》。理论注释。计算。科学。308、3--23(2014年;Zbl 1337.68171) 全文: 内政部
安东尼奥·萨利布拉;安东尼奥·莱达;弗朗西斯科·保利;托马斯·科瓦尔斯基 布尔型代数。 (英语) Zbl 1284.06033号 代数大学。 69,第2期,113-138(2013). 审核人:安娜·罗曼诺夫斯卡(华沙) MSC公司:06至75 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Salibra}等人,《高等代数》。69,No.2,113--138(2013;Zbl 1284.06033) 全文: 内政部 链接
普洛塔萨,维奥雷尔 单调布尔变换器代数。 (英语) 兹比尔1349.68051 Simao,Adenilso(编辑)等,《形式方法、基础和应用》。2011年9月26日至30日,巴西圣保罗,第14届巴西研讨会,SBMF 2011。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-25031-6/pbk)。计算机科学讲义7021140-155(2011)。MSC公司:68号30 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{V.Preoteasa},莱克特。注释计算。科学。7021140-155(2011年;Zbl 1349.68051) 全文: 内政部
丹尼尔·蒙迪奇 Łukasiewicz逻辑中的有限公理化。 (英语) 兹比尔1248.03043 Ann.纯粹应用。逻辑 162,第12期,1035-1047(2011). 审核人:斯特凡诺·阿古佐利(米兰) MSC公司:03B50号 05年6月 14E05号 52秒20 PDF格式BibTeX公司 XML格式引用 \textit{D.Mundici},Ann.纯应用。逻辑162,No.12,1035--1047(2011;Zbl 1248.03043) 全文: 内政部
菲利普·施利希特;弗兰克·斯蒂芬 序数和线性顺序上的自动机。 (英语) Zbl 1259.03053号 Löwe,Benedikt(编辑)等人,《上下文中的计算模型》。2011年6月27日至7月2日在保加利亚索非亚举行的第七届欧洲可计算性会议,CiE 2011。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-21874-3/pbk)。计算机科学课堂讲稿6735,252-259(2011)。MSC公司:05年3月 03C57号 03D60年 06年05月 PDF格式BibTeX公司 XML格式引用 \textit{P.Schlicht}和\textit{F.Stephan},莱克特。注释计算。科学。6735252--259(2011;Zbl 1259.03053) 全文: 内政部
阿尔贝托·马可尼;理查德·肖尔(Richard A.Shore)。 二阶算术中的最大线性扩张定理。 (英语) Zbl 1227.03076号 架构(architecture)。数学。逻辑 50,编号5-6,543-564(2011). 审核人:杰弗里·赫斯特(布恩) MSC公司:35楼03号 03B30型 06A07年 PDF格式BibTeX公司 XML格式引用 \textit{A.Marcone}和\textit{R.A.Shore},Arch。数学。逻辑50,No.5--6,543--564(2011;Zbl 1227.03076) 全文: 内政部 arXiv公司
帕南加登,普拉卡什;梅赫努什·萨德扎德 在不断变化的世界中学习,代数模态逻辑方法。 (英语) Zbl 1308.68111号 Johnson,Michael(编辑)等人,《代数方法论和软件技术》。2010年6月23日至25日,加拿大魁北克省Lac-Beauport,AMAST 2010,第13届国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-642-17795-8/pbk)。计算机科学课堂讲稿6486,128-141(2011)。MSC公司:68T27型 03B42型 03B45号 07年6月 68T05型 68立方英尺 68T40型 PDF格式BibTeX公司 XML格式引用 \textit{P.Panangaden}和\textit{M.Sadrzadeh},莱克特。注释计算。科学。6486、128--141(2011年;Zbl 1308.68111) 全文: 内政部 链接
尼克·贝扎尼什维利;梅·盖尔克 自由Heyting代数:重温。 (英语) Zbl 1238.06007号 亚历山大·库兹(编辑)等人,《计算机科学中的代数和余代数》。第三届国际会议,2009年CALCO,意大利乌迪内,2009年9月7日至10日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03740-5/pbk)。计算机科学课堂讲稿5728251-266(2009)。MSC公司:06D20日 03G25 06年50月 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}和\textit{M.Gehrke},Lect。注释计算。科学。5728251--266(2009年;Zbl 1238.06007) 全文: 内政部
Furio Honsell;戈登·普洛金 关于(lambda)-演算的序理论模型的完备性。 (英语) 兹比尔1167.03013 Inf.计算。 207,第5期,583-594(2009).MSC公司:03B40型 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{F.Honsell}和\textit{G.Plotkin},Inf.Compute。207,第5号,583--594(2009;Zbl 1167.03013) 全文: 内政部
詹斯·布兰克 域表示和Cantor-Weihrauch域表示的可约性。 (英语) Zbl 1166.03020号 数学。结构。计算。科学。 18,第6号,1031-1056(2008). 审核人:Dieter Spreen(西根) MSC公司:03D65年 03层60 06B35号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.Blank},数学。结构。计算。科学。18,编号61031-1056(2008;兹bl 1166.03020) 全文: 内政部
泽维尔·凯塞多 MV-代数和Łukasiewicz逻辑的连接词中的隐式运算。 (英语) Zbl 1122.03018号 Aguzzoli,Stefano(编辑)等,非经典逻辑的代数和证明理论方面。纪念丹尼尔·蒙迪奇60岁生日的论文。柏林:施普林格出版社(ISBN 978-3-540-75938-6/pbk)。计算机科学课堂讲稿4460。《人工智能课堂讲稿》,50-68页(2007年)。MSC公司:03B50号 05年6月 20层06 PDF格式BibTeX公司 XML格式引用 \textit{X.Caicedo},莱克特。注释计算。科学。4460,50-68(2007;Zbl 1122.03018) 全文: 内政部
特鲁什琴斯基,米洛斯奥 非单调理论的强一致等价性——一种代数方法。 (英语) Zbl 1118.68161号 安。数学。Artif公司。智力。 48,编号3-4,245-265(2006).MSC公司:68T27型 06B23号 PDF格式BibTeX公司 XML格式引用 \textit{M.Truszczynski},Ann.数学。Artif公司。智力。48,编号3--4,245--265(2006;Zbl 1118.68161) 全文: 内政部