萨姆·范古尔;阿德里安·瓜托;乔治·梅特卡夫;西蒙·桑奇 时间扭曲代数中的判定方程。 (英语) Zbl 07814916号 日志。计算方法。科学。 20,第1号,第8号论文,22页(2024年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{S.van Gool}等人,日志。计算方法。科学。20,第1号,第8号论文,22页(2024;Zbl 07814916) 全文: 内政部 arXiv公司
奥斯卡·费利索拉;普莱斯(Dominic T.Price)。;马蒂亚·斯坎帕林 广义相对论和宇宙学中的Cadabra和Python算法。二: 引力波。 (英语) Zbl 1525.83006号 计算。物理学。公社。 289,文章ID 108748,26 p.(2023).MSC公司:83立方厘米 83个F05 35B20型 93立方35 00A79号 03-04 83-08 PDF格式BibTeX公司 XML格式引用 \textit{O.Castillo-Felisola}等人,计算。物理学。Commun公司。289,文章ID 108748,26 p.(2023;Zbl 1525.83006) 全文: 内政部 arXiv公司
索拉萨克Leeratanavalee;萨拉武特省普瓦蓬 代数系统非确定性超代换的一个新概念。 (英语) Zbl 07732583号 泰国J.数学。,规范发行号:数学年会 2021, 25-37 (2022).MSC公司:08A05号 08A70型 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Leeratanavalee}和\textit{S.Phuapong},泰国数学杂志。,25-37(2022年;Zbl 07732583) 全文: 链接
马尔蒂恩·亨德里克斯;马克·盖伦;古森、基斯;罗伯·德容;巴斯滕,特万 质量和资源管理的接口建模。 (英语) 兹比尔07379290 日志。计算方法。科学。 17,第2号,第19号论文,第34页(2021年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{M.Hendriks}等人,日志。计算方法。科学。17,第2号,第19号论文,第34页(2021;Zbl 07379290) 全文: 内政部 arXiv公司
罗布·范格拉贝克 带超时的进程代数的故障跟踪语义。 (英语) Zbl 07350777号 日志。计算方法。科学。 17,第2号,第11号论文,40页(2021年).MSC公司:03B70号 68年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.van Glabbeek},日志。计算方法。科学。17,第2号,第11号论文,40页(2021;Zbl 07350777) 全文: arXiv公司 链接
乔治亚娜·卡尔泰斯;穆罕默德·雷扎·穆萨维;哈古比尔·辛格 轩尼诗-米尔纳逻辑中的安全因果推理。 (英语) Zbl 1471.68133号 芬丹。通知。 173,编号2-3,217-251(2020).MSC公司:第68季度第60季度 03B70号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Caltais}等人,Fundam。通知。173,编号2--3,217--251(2020;Zbl 1471.68133) 全文: 内政部
玛丽亚·阿尔普特;昆卡·奥尔特加,天使;圣地亚哥埃斯科瓦尔;何塞·梅塞格尔 结合性公理和交换性公理的同胚嵌入模组合。 (英语) Zbl 1524.68068号 弗雷德·梅斯纳德(编辑)等,基于逻辑的程序合成和转换。2018年9月4-6日在德国法兰克福举行的2018年LOPSTR第28届国际研讨会。修改选定的论文。查姆:斯普林格。莱克特。注释计算。科学。11408,38-55(2019)。MSC公司:68号30 03B70号 08A70型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Alpunte}等人,Lect。注释计算。科学。11408,38-55(2019年;兹比尔1524.68068) 全文: 内政部 arXiv公司
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna Ingólfsdóttir;尤兰达奥尔特加购物中心 标称过程计算的规则格式。 (英语) Zbl 1442.68119号 日志。计算方法。科学。 15,第4号,第2号论文,46页(2019年).MSC公司:第68季度85 03B70号 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Log。计算方法。科学。15,第4号,第2号论文,46页(2019年;Zbl 1442.68119) 全文: arXiv公司
贾纳斯·Czelakowski(编辑) 唐·皮戈齐(Don Pigozzi):抽象代数逻辑、泛代数和计算机科学。 (英语) Zbl 1390.03005号 对逻辑的杰出贡献16.查姆:施普林格(ISBN 978-3-319-74771-2/hbk;978-3-3169-74772-9/电子书)。xxxii,454页。(2018)。MSC公司:03-06 03G27号 03G25号 03B22号 03B70号 03C05号机组 08B05年 08C15号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{J.Czelakowski}(编辑),Don Pigozzi,关于抽象代数逻辑、泛代数和计算机科学。查姆:施普林格(2018;Zbl 1390.03005) 全文: 内政部 链接
默多克·J·加贝。 分层集的语言是合流的和强正规化的。 (英语) Zbl 1476.68120号 日志。计算方法。科学。 14,第2号,第12号论文,第34页(2018).MSC公司:2012年第68季度 03B70号 03E70型 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},日志。计算方法。科学。14,第2号,第12号论文,34页(2018;Zbl 1476.68120) 全文: 内政部 arXiv公司
卢卡·埃特罗;伊格纳西奥·法布雷加斯;阿尔瓦罗·加西亚·佩雷斯;Anna Ingólfsdóttir;尤兰达奥尔特加购物中心 标称过程计算的规则格式。 (英语) 兹比尔1442.68120 Meyer,Roland(编辑)等人,第28届并发理论国际会议。2017年CONCUR,德国柏林,2017年9月5-8日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85,第10条,第16页(2017年)。MSC公司:第68季度85 03B70号 68问题55 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,LIPIcs——莱布尼茨国际程序。通知。85,第10条,第16页(2017年;Zbl 1442.68120) 全文: 内政部
斯蒂法诺·比斯塔雷利;法比奥·马蒂内利;伊拉里亚·马特尤奇;弗朗西斯科·桑蒂尼 定量部分模型检验函数及其优化。 (英语) Zbl 1403.68121号 Eiter,Thomas(编辑)等人,LPAR-21。2017年5月8日至12日在博茨瓦纳莫恩举行的第21届编程、人工智能和推理逻辑国际会议。精选论文。曼彻斯特:EasyChair。EPiC计算系列46,319-337(2017)。MSC公司:第68季度第60季度 03B70号 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{S.Bistarelli}等人,EPiC Ser。计算。46、319--337(2017;Zbl 1403.68121) 全文: 内政部
丹尼·罗拉博;克劳德·塔迪夫;大卫·威鲁 逻辑紧性和约束满足问题。 (英语) 兹比尔1448.03020 日志。计算方法。科学。 13,第1期,第1号论文,第11页(2017年).MSC公司:03C07号机组 03元50分 03E05号 03E65年 08A02号 08A70型 19年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{D.Rorabaugh}等人,日志。计算方法。科学。13,1号,1号论文,11页(2017;Zbl 1448.03020) 全文: 内政部 arXiv公司
沃纳·斯特鲁克曼;迪特马尔·瓦特詹 计算机科学家的数学。基础和应用。第二次修订和扩大版。(Mathematik für Informatiker,Grundlagen und Anwendungen.) (德语) Zbl 1390.68005号 威斯巴登:Springer Vieweg(ISBN 978-3-662-49869-9/pbk;978-3-862-49870-5/电子书)。xi,第551页。(2016). 审核人:迪特尔·里贝塞尔(吕内堡) MSC公司:68-01 03-01 05-01 08-01 11-01 68卢比 00A06号 PDF格式BibTeX公司 XML格式引用 \textit{W.Struckmann}和\textit{D.Wätjen},Mathematik für Informatiker。格兰德拉根和安文敦根。第二次修订和扩大版。威斯巴登:斯普林格·维埃格(2016;Zbl 1390.68005) 全文: 内政部
亚历山大·卡兹达 二进制保守关系结构的CSP。 (英语) Zbl 1356.08001号 代数大学。 75,第1号,75-84(2016). 审核人:雅库布·布林(巨石) MSC公司:08A02号 03C05号机组 08A30型 68卢比 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{A.Kazda},代数大学。75,编号1,75-84(2016;兹bl 1356.08001) 全文: 内政部 arXiv公司
罗恩·洛扎诺,尤金尼奥;阿隆索、何塞·安东尼奥;安东尼奥·埃尔南多 重温四值逻辑枫树使用逻辑资源管理器包装。 (英语) Zbl 07312631号 数学。计算。模拟。 104, 31-42 (2014).MSC公司:68年XX月 03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人,数学。计算。模拟。104、31-42(2014;Zbl 07312631) 全文: 内政部
鲍姆加滕,伯尔尼 离散数学简编。(马塞马提克公园) (德语) Zbl 1302.00001号 德格鲁伊特工作室柏林:De Gruyter/Oldenbourg(ISBN 978-3-486-75697-5/pbk;978-3-486-78132-8/电子书)。ix,第378页。(2014). 审核人:梅林·卡尔(康斯坦茨) MSC公司:00-01 68卢比 03-01 05元50分 05Cxx号 00A06号 05-01 15-01 03B70号 60年XX月 PDF格式BibTeX公司 XML格式引用 \textit{B.Baumgarten},Kompendium der diskreten Mathematik。柏林:De Gruyter/Oldenbourg(2014;Zbl 1302.00001) 全文: 内政部
Dan A.Simovici。;查班·杰拉巴 用于数据挖掘的数学工具。集合论,偏序,组合学。第2版。 (英语) Zbl 1303.68006号 高级信息和知识处理伦敦:施普林格出版社(ISBN 978-1-4471-6406-7/hbk;978-1-447 1-6407-4/电子书)。xi,831页。(2014). 审核人:乌多·哈恩(耶拿) MSC公司:68-01 00A06号 03E20型 05-01 06-01 15-01 28-01 54-01 68个P01 68第05页 第68页第15页 68第20页 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Simovici}和\textit{C.Djeraba},数据挖掘的数学工具。集合论,偏序,组合学。第二版伦敦:施普林格出版社(2014;Zbl 1303.68006) 全文: 内政部
亨克·巴伦德雷格特 从计算机验证的角度看数学基础。 (英语) Zbl 1322.03006号 彼得·保罗(编辑),《数学、计算机科学和逻辑》——一个永无止境的故事。布鲁诺-巴赫伯格节日。基于2002年10月22日在奥地利哈根堡举行的布鲁诺·巴赫伯格60岁生日会议。查姆:施普林格(ISBN 978-3-319-00965-0/hbk;978-3-3169-00966-7/电子书)。1-49 (2013).MSC公司:03A05号 03年11月15日 03B30型 03B35型 2012年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{H.Barendregt},摘自:数学、计算机科学和逻辑——一个永无止境的故事。布鲁诺-巴赫伯格节日。根据布鲁诺·布赫伯格60岁生日之际的一次会议,2002年10月22日,奥地利哈根贝格。查姆:斯普林格。1-49(2013;Zbl 1322.03006) 全文: 内政部
库尔特·乌尔里希·维特 计算机科学的数学基础。集合、逻辑、递归。(Mathematische Grundlagen für die Informatik.Mengen,Logik,Rekursion) (德语) Zbl 1291.68003号 斯普林格·勒布赫威斯巴登:Springer Vieweg(ISBN 978-3-658-03078-0/pbk;978-3-558-03079-7/ebook)。x、 222页。(2013). 审核人:Klaus D.Kiermeier(柏林) MSC公司:68-01 00A06号 03-01 03B05号 03B70号 03D20日 第68季度01 PDF格式BibTeX公司 XML格式引用 \textit{K.-U.Witt},Mathematische Grundlagen für die Informatik。Mengen、Logik、Rekursion。威斯巴登:斯普林格·维埃格(2013;Zbl 1291.68003) 全文: 内政部
法隆·莫勒;乔治·斯特鲁斯 模拟计算系统。计算机科学数学。 (英语) Zbl 1278.68007号 计算机科学本科专题伦敦:施普林格出版社(ISBN 978-1-84800-321-7/pbk;978-1-84800-322-4/ebook)。十六、500页。(2013). 审核人:Gudula Rünger(Chemnitz) MSC公司:68-01 03-01 68卢比 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Moller}和\textit{G.Struth},模拟计算系统。计算机科学数学。伦敦:施普林格(2013年;兹bl 1278.68007) 全文: 内政部
默多克·J·加贝。 元变量作为名词术语统一和重写的无限列表。 (英语) Zbl 1278.68119号 日志。J.IGPL公司 20,第6期,967-1000(2012). 审核人:Temur Kutsia(林茨) MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay},日志。J.IGPL 20,第6号,967--1000(2012;Zbl 1278.68119) 全文: 内政部
罗恩·洛扎诺,尤金尼奥;何塞·安东尼奥·阿隆索;安东尼奥·埃尔南多;路易斯·莱塔。;罗内斯·马西亚斯,尤金尼奥 逻辑探索者:用于探索有限多值命题逻辑的Maple包。 (英语) 兹比尔1260.03002 Rev.R.学术版。中国。精确到Fís。Nat.,Ser。一个垫子,RACSAM 105,第2期,323-337(2011).MSC公司:03-04 03B50号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人,Rev.R.Acad。中国。精确到Fís。Nat.,Ser。A Mat.,RACSAM 105,No.2,323--337(2011;Zbl 1260.03002) 全文: 内政部
塞缪尔·米姆拉姆 一阶因果关系的结构。 (英语) Zbl 1215.03050号 数学。结构。计算。科学。 21,第1期,65-110(2011).MSC公司:03B70号 03G30型 18日第10天 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mimram},数学。结构。计算。科学。21,第1号,65--110(2011;Zbl 1215.03050) 全文: 内政部 arXiv公司
同上,William L。;A.米利奥蒂斯。;K.穆拉利。;苏德什纳州辛哈;马克·斯潘诺(Mark L.Spano)。 混沌门:利用动态模式的变形逻辑门。 (英语) Zbl 1311.94127号 混乱 20,第3期,037107,第7页(2010年).MSC公司:94立方厘米 03B35型 03B70号 37D45号 PDF格式BibTeX公司 XML格式引用 \textit{W.L.Ditto}等人,Chaos 20,No.3,037107,7 p.(2010;Zbl 1311.94127) 全文: 内政部 链接
彼得·霍夫纳 混合系统的代数演算。 (英语) Zbl 1237.68010号 诺德斯泰德:图书点播;奥格斯堡:奥格斯伯格大学,Fakultät für Angewandte Informatik(ISBN 978-3-8391-2510-6/hbk)。x、 204页。(2009). 审核人:金·索林(乌普萨拉) MSC公司:68-02 68号30 第68季度第60季度 68问题55 08A70型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner},混合系统的代数计算。诺德斯泰德:图书点播;奥格斯堡:奥格斯堡大学,Fakultät für Angewandte Informatik(2009年;Zbl 1237.68010) 全文: 链接
阿达梅克,吉安尼;曼努埃拉·索布拉尔;卢尔德·索萨 代数和余代数中蕴涵的逻辑。 (英语) Zbl 1229.18001号 代数大学。 61,编号3-4,313-337(2009). 审核人:拉兹万·迪亚科内斯库(普洛耶什蒂) MSC公司:第18页第15页 03C05号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,《代数大学》。61,编号3--4313--337(2009;Zbl 1229.18001) 全文: 内政部 链接
伊利亚诺·塞维萨托;安德烈·斯克洛夫 通过线性逻辑(完整版)关联基于状态和基于进程的并发。 (英语) Zbl 1181.68168号 Inf.计算。 207,第10号,1044-1077(2009).MSC公司:第68季度85 03B70号 03楼52 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Cervesato}和\textit{A.Scedrov},Inf.Compute。207,第10号,1044--1077(2009;Zbl 1181.68168) 全文: 内政部
阿尔伯特·阿塞里亚斯;安德烈·布拉托夫;阿努杰,达瓦尔 仿射方程组和计数无穷逻辑。 (英语) Zbl 1168.68040号 西奥。计算。科学。 410,第18期,1666-1683(2009).MSC公司:68T20型 03C13号机组 03C75号 08A70型 第68季度25 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人,Theor。计算。科学。410,第18号,1666--1683(2009;Zbl 1168.68040) 全文: 内政部
Jan Friso,格鲁特;巴斯普洛格 切换图形。 (英语) Zbl 1337.68205号 Halava,Vesa(编辑)等人,计算模型可达性问题第二次研讨会论文集(RP 2008),英国利物浦,2008年9月15日至17日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记223119-135(2008)。MSC公司:68兰特 05年3月 第68季度25 第68季度第60季度 91A40型 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{J.F.Groote}和\textit{B.Ploeger},电子。注释Theor。计算。科学。223119-135(2008年;Zbl 1337.68205) 全文: 内政部
默多克·J·加贝。;亚德·马蒂杰森 作为名义代数的避免捕获的替换。 (英语) Zbl 1152.68025号 正式Asp。计算。 20,编号4-5,451-479(2008).MSC公司:2012年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.J.Gabbay}和\textit{A.Mathijssen},正式Asp。计算。20,编号4--5,451--479(2008;Zbl 1152.68025) 全文: 内政部
Ernst-Erich Doberkat Giry monad的Kleisli形态和随机同余。 (英语) 邮编1122.18004 J.纯应用。代数 211,第3期,638-664(2007). 审核人:达纳·皮奇乌(克雷奥瓦) MSC公司:18个C20 03B45号 08A70型 第18页第32页 18B10型 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},J.Pure Appl.(文本{E.-E.Doberkat},J·纯粹应用)。代数211,No.3,638--664(2007;Zbl 1122.18004) 全文: 内政部
Ernst-Erich Doberkat 多算子连续时间随机逻辑的Hennessy-Milner等价性。 (英语) Zbl 1137.03014号 J.应用。日志。 5,第3号,519-544(2007). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B70号 第68季度85 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{E.-E.Doberkat},J.Appl。日志。5,第3号,519--544(2007;Zbl 1137.03014) 全文: 内政部
弗朗西斯科·杜兰;何塞·梅塞格尔 莫德的模代数。 (英语) Zbl 1116.68047号 科学。计算。程序。 66,第2期,125-153(2007).MSC公司:第68季度第60季度 68号30 2012年第68季度 03B70号 18立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{F.Durán}和\textit{J.Meseguer},科学。计算。程序。66,No.2,125--153(2007;Zbl 1116.68047) 全文: 内政部
沃纳·斯特鲁克曼;迪特马尔·瓦特詹 计算机科学家的数学。基础和应用。(信息学家Mathematik für Informatiker,Grundlagen und Anwendungen。) (德语) Zbl 1119.68001号 海德堡:Elsevier/Spektrum Akademischer Verlag(ISBN 978-3-8274-1631-5/pbk)。xi,第451页。(2007). 审核人:迪特尔·里贝塞尔(吕内堡) MSC公司:68-01 03-01 05-01 08-01 11-01 60-01 68卢比 PDF格式BibTeX公司 XML格式引用 \textit{W.Struckmann}和\textit{D.Wätjen},Mathematik für Informatiker。格兰德拉根和安文敦根。海德堡:Elsevier/Spektrum Akademischer Verlag(2007;Zbl 1119.68001)
库尔·科拉斯;Robert F.Stärk。 信息代数和结果算子。 (英语) Zbl 1116.03024号 日志。Univers大学。 1,第1号,139-165(2007).MSC公司:03B70号 03B22号 03G25号 08A70型 第68页第15页 68问题65 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{J.Kohlas}和\textit{R.F.Stärk},日志。通用。1,第1号,139--165(2007;Zbl 1116.03024) 全文: 内政部
罗伯托·布鲁尼;何塞·梅塞格尔 广义重写理论的语义基础。 (英语) Zbl 1097.68051号 西奥。计算。科学。 360,编号1-3,386-414(2006).MSC公司:2012年第68季度 68问题55 第68季度85 03B70号 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{R.Bruni}和\textit{J.Meseguer},Theor。计算。科学。360,编号1--3386--414(2006;Zbl 1097.68051) 全文: 内政部
路易斯·莱塔。;路易斯·德·莱德斯马;罗恩·洛扎诺,尤金尼奥 布尔逻辑的起源。它的历史和计算机探索。 (英语) Zbl 1183.03003号 马德里皇家科学院纪念馆33.马德里:皇家科学院(Real Academia de Ciencias Exactas,Físicas y Naturales)(ISBN 978-84-87125-44-7/pbk)。xi,第154页。(2005). 审核人:罗曼·穆拉夫斯基(波兹南) MSC公司:03-02 01A55号 01A70号 03-03 03-04 68-03 68层35 68岁20岁 68瓦30 PDF格式BibTeX公司 XML格式引用 \文本{L.M.Laita}等人,布尔逻辑的起源。它的历史和计算机探索。马德里:皇家科学院(Real Academia de Ciencias Exactas,Físicas y Naturales)(2005;Zbl 1183.03003)
博伊纳·斯塔鲁奇 部分结构的扩展及其在多智能体系统建模中的应用。 (英语) Zbl 1075.08002号 Dunin-Kȩplicz,Barbara(编辑)等人,《多智能体系统中的监控、安全和救援技术》。在2004年6月7日至9日于波兰普洛克举行的“多智能体系统中的监测、安全和救援技术”国际研讨会(MSRAS 2004)上发表了部分论文。柏林:施普林格出版社(ISBN 3-540-23245-1/pbk)。《软计算进展》,293-304(2005)。MSC公司:08A70型 08A55号 68T01型 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{B.Staruch},in:多代理系统中的监视、安全和救援技术。在2004年6月7日至9日于波兰普洛克举行的“多智能体系统中的监测、安全和救援技术”国际研讨会(MSRAS 2004)上发表了部分论文。柏林:斯普林格。293--304(2005;Zbl 1075.08002)
布鲁诺·库塞尔;韦尔·帕斯卡 图集的可识别性是一个稳健的性质。 (英语) Zbl 1077.68070号 西奥。计算。科学。 342,编号2-3,173-228(2005).MSC公司:68兰特 05年3月 2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{P.Weil},Theor。计算。科学。342,编号2--3,173-228(2005;Zbl 1077.68070) 全文: 内政部 arXiv公司
希拉·R·M·维洛索。;保罗·维洛索。;de Freitas、Renata P。 逻辑工程的应用。 (英语) Zbl 1088.03032号 日志。J.IGPL公司 13,第1号,29-46(2005).MSC公司:03B70号 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{S.R.M.Veloso}等人,《日志》。J.IGPL 13,编号1,29-46(2005年;Zbl 1088.03032) 全文: 内政部
可口、蒂埃里;兰迪·波拉克;木本武山 具有独立类型记录的逻辑框架。 (英语) Zbl 1095.03017号 芬丹。通知。 65,第1-2113-134号(2005年). 审核人:内库莱·柯特阿努(伊阿什伊) MSC公司:03B70号 68甲18 35楼03号 03B35型 03B40型 68问题65 第68季度第60季度 68问题55 68吨15 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人,基金会。通知。65,编号1--2,113-134(2005;Zbl 1095.03017)
J.奥德尔斯塔德。;博曼,M。 代理范数调节的代数。 (英语) Zbl 1059.68130号 安。数学。Artif公司。智力。 42,编号1-3,141-166(2004).MSC公司:68T27型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Odelstad}和\textit{M.Boman},Ann.数学。Artif公司。智力。42,编号1--3,141-166(2004;Zbl 1059.68130) 全文: 内政部
哈,迈克尔;马克·瑞恩 计算机科学中的逻辑。系统建模和推理。第2版。 (英语) Zbl 1073.68001号 剑桥:剑桥大学出版社(ISBN 0-521-54310-X/pbk;978-0-521-83536-7/hbk)。xiv,427页。(2004). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:68-01 03-01 03B70号 第68季度第60季度 68T27型 68问题55 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Huth}和\textit{M.Ryan},计算机科学中的逻辑。系统建模和推理。第二版剑桥:剑桥大学出版社(2004;Zbl 1073.68001) 全文: 内政部
可口、蒂埃里;兰迪·波拉克;木本武山 具有独立类型记录的逻辑框架。 (英语) Zbl 1052.68018号 马丁·霍夫曼(编辑),《打字lambda calculi和应用》。第六届国际会议,2003年TLCA,2003年6月10日至12日,西班牙巴伦西亚。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40332-9/pbk)。莱克特。注释计算。科学。2701, 105-119 (2003). 审核人:内库莱·库特阿努(Iaşi) MSC公司:68甲18 03B70号 03B40型 68问题55 第68季度第60季度 68问题65 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{T.Coquand}等人,Lect。注释计算。科学。2701105-119(2003年;兹bl 1052.68018) 全文: 链接
罗伯特·戈德布拉特 多项式余代数的观测超积。 (英语) Zbl 1037.03034号 Ann.纯粹应用。逻辑 123,编号1-3235-290(2003). 审核人:米歇尔·伊坦(斯特拉斯堡) MSC公司:03C05号机组 03B70号 03C20号 18 C50 68问题65 第68季度85 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},Ann.《纯粹的应用》。逻辑123,编号1--3,235-290(2003;Zbl 1037.03034) 全文: 内政部
马克·艾吉耶;黛安·巴赫拉米;凯瑟琳·杜布瓦 关于一个推广的逻辑性定理。 (英语) Zbl 1072.68536号 Calmet,Jacques(编辑)等人,《人工智能、自动推理和符号计算》。联合国际会议:AISC 2002,第六届人工智能和符号计算国际会议,Calculemus 2002,第十届符号计算与机械化推理集成研讨会。2002年7月1日至5日,法国马赛。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43865-3)。莱克特。注释计算。科学。2385, 51-63 (2002).MSC公司:2012年第68季度 68吨15 07年3月 PDF格式BibTeX公司 XML格式引用 \textit{M.Aiguier}等人,Lect。注释计算。科学。2385、51-63(2002年;Zbl 1072.68536) 全文: 链接
Steven G.将军。 计算机科学逻辑和证明技术手册。 (英语) Zbl 0993.03001号 马萨诸塞州波士顿:Birkhäuser。纽约州纽约市:Springer,xix,245 p.(2002)。 审核人:内库莱·柯特阿努(伊阿什伊) MSC公司:03-00 68-00 03-01 68-01 PDF格式BibTeX公司 XML格式引用 \textit{S.G.Krantz},计算机科学逻辑和证明技术手册。马萨诸塞州波士顿:Birkhäuser;纽约州纽约市:施普林格(2002;Zbl 0993.03001)
Yu,Movsisyan。 超恒等式和超多样性。 (英语) Zbl 1003.08001号 科学。数学。日本。 54,第3期,595-640(2001). 审核人:列奥尼德·马特维维·马蒂诺夫(鄂木斯克) MSC公司:08-02 08年68月 08A70型 03C05号机组 08B05年 2007年7月20日 20号05 08A62号 PDF格式BibTeX公司 XML格式引用 \textit{Yu.Movsisyan},科学。数学。日本。54,第3号,595--640(2001;Zbl 1003.08001)
卢卡·维甘诺 [Dov M.加巴伊。] 标签非经典逻辑。Dov M.Gabbay的前言。 (英语) Zbl 1003.03001号 多德雷赫特:Kluwer学术出版社。xiv,291页(2000年)。 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03-02 03B45号 07年3月 68吨15 05年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{L.Vigan“},标签非经典逻辑。Dov M.Gabbay的前言。多德雷赫特:Kluwer学术出版社(2000;Zbl 1003.03001)
迈克尔·门德勒 表征直觉模态逻辑中的组合时序分析。 (英语) Zbl 0963.03052号 日志。J.IGPL公司 8,第6号,821-852(2000).MSC公司:03B70号 94立方厘米 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Mendler},日志。J.IGPL 8,第6号,821--852(2000;Zbl 0963.03052) 全文: 内政部 链接
Crvenković,S。;我.多林卡。;埃西克,Z。 具有转换的Kleene代数的多样性不是基于有限的。 (英语) Zbl 0954.08004号 西奥。计算。科学。 230,编号1-2,235-245(2000). 审核人:M.Steinby(图尔库) MSC公司:08B05年 65年第68季度 03C05号机组 08A02号 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{S.Crvenković}等人,Theor。计算。科学。230,编号1-2235-245(2000;兹bl 0954.08004) 全文: 内政部
马塞洛·M·邦桑格。;Joost N.角。 走向领域的无限逻辑:过渡系统的Abramsky逻辑。 (英语) 兹比尔1004.03030 Inf.计算。 155,第1-2号,170-201(1999).MSC公司:03B70号 68问题55 第68季度第60季度 06B35号 03G10年 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{M.Bonsangue}和\textit{J.N.Kok},信息计算。155,编号1--2,170--201(1999;Zbl 1004.03030) 全文: 内政部 链接
北卡罗来纳州加里尼纳。;Khegaj,Zh。E。 FABULA系统中布尔代数问题公式转换的实现工具。 (俄语。英文摘要) Zbl 0951.68052号 Kas'yanov,V.N.(编辑),《信息系统和编程问题》。新西伯利亚:信息研究所。A.P.Ershova SO RAN,202-215(1999)。 审核人:M.F.穆尔济纳(新西伯利亚) MSC公司:2012年第68季度 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.A.Kalinina}和\textit{Zh.E.Khegaj},in:Problemy sistem informatiki i programmirovaniya。新西伯利亚:信息研究所。A.P.Ershova SO RAN.202--215(1999;Zbl 0951.68052)
鲍里斯·普洛金一世。 代数逻辑、代数变体和代数变体。 (英语) Zbl 0961.08001号 Kublanovsky,S.(ed.)等人,具有应用的半群,包括半群环。1995年6月19日至30日,俄罗斯圣彼得堡为纪念E.S.Lyapin举行的国际会议。圣彼得堡:Severny Ochag,189-270(1999)。MSC公司:08-02 08Bxx年 03Gxx公司 08A70型 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{B.I.Plotkin},in:半群及其应用,包括半群环。1995年6月19日至30日,俄罗斯圣彼得堡,为纪念E.S.Lyapin举行的国际会议。圣彼得堡:Severny Ochag。189-270(1999年;Zbl 0961.08001) 全文: arXiv公司
托马斯·马尔瑟达尔·拉斯穆森 有符号间隔逻辑。 (英语) Zbl 0942.03027号 Flum,Jörg(编辑)等人,《计算机科学逻辑》。第13届国际研讨会,CSL’99。1999年9月20日至25日在西班牙马德里举行的欧洲原子能委员会第八届年会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1683, 157-171 (1999).MSC公司:03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.M.拉斯穆森},莱克特。注释计算。科学。1683、157--171(1999;Zbl 0942.03027)
A.V.查什金。 用图灵机模拟组合电路。 (俄语) Zbl 0931.68041号 Diskretn公司。分析。伊斯斯莱德。操作。,序列号。1 6,第3期,42-70(1999). 审核人:E.A.Okol’nishnikova(新西伯利亚) MSC公司:2005年第68季度 94立方厘米 03日第10天 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Chashkin},Diskretn。分析。伊斯斯莱德。操作。,序列号。16,第3号,42--70(1999;Zbl 0931.68041)
弗兰兹·巴德;托比亚斯·尼普科 术语重写等等。 (英语) Zbl 0948.68098号 剑桥:剑桥大学出版社。xii,301 p.(1999)。 审核人:H.Herre(莱比锡) MSC公司:2012年第68季度 03B35型 08A70型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{T.Nipkow},术语重写等等。剑桥:剑桥大学出版社(1999年;Zbl 0948.68098) 全文: 内政部
罗恩·洛扎诺,尤金尼奥;路易斯·莱塔。;罗内斯·马西亚斯,尤金尼奥 多值逻辑的多项式模型,具有代数几何和计算机代数的触觉。 (英语) Zbl 1017.03509号 数学。计算。模拟。 45,编号1-283-99(1998).MSC公司:03B50号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{E.Roanes-Lozano}等人,数学。计算。模拟。45,编号1--2,83-99(1998;Zbl 1017.03509) 全文: 内政部
Jen Szépő 矢量产品和应用程序。 (英语) Zbl 0939.20059 《纯粹数学与应用数学》(布达佩斯)。布达佩斯:Akadémiai Kiadó。110页(1998年)。 审核人:K.H.Kim(蒙哥马利) MSC公司:20个M10 15-02 20立方米 20N99型 03E99型 15A78号 68页30 22A99号 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{J.Szép},矢量产品和应用程序。布达佩斯:Akadémiai Kiadó(1998;Zbl 0939.20059)
马丁·格罗·罗德 建立代数替换系统制度的第一步。 (英语) Zbl 0933.68092号 申请。类别。结构。 6,第4期,403-426(1998年).MSC公司:第68季度第60季度 68问题65 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Große-Rhode},应用。类别。结构。6,第4号,403--426(1998;Zbl 0933.68092) 全文: 内政部
Hintermeier,克劳斯;克洛德·基什内尔;赫莱内·基什内尔 用于按顺序排序的等式表示的动态类型计算。 (英语) Zbl 0983.68254号 J.塞姆。计算。 25,第4期,455-526(1998).MSC公司:68号30 03B70号 2012年第68季度 68问题55 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{C.Hintermeier}等人,J.Symb。计算。25,第4号,455--526(1998;Zbl 0983.68254) 全文: 内政部 链接
里奇,加布里埃尔 泛矩阵的新特征表明,神经网络不能成为代数网络。 (英语) Zbl 0907.08003号 对普通代数的贡献10。1997年5月29日至6月1日在奥地利克拉根福举行的普通代数会议上的演讲精选。克拉根福:弗拉格·约翰内斯·希恩。269-291 (1998). 审核人:A.A.Mullin(亨茨维尔) MSC公司:08A35型 92B20型 08A70型 03B40型 18个C20 PDF格式BibTeX公司 XML格式引用 \textit{G.Ricci},Contrib.Gen.Algebra 10,269--291(1998;Zbl 0907.08003)
冯·卡格尔(von Karger),伯加德(Burghard);鲁道夫·伯哈默 时序逻辑的关系模型。 (英语) Zbl 0906.03030号 日志。J.IGPL公司 6,第2期,157-173(1998年). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:03B70号 第68季度第60季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.von Karger}和\textit{R.Berghammer},日志。J.IGPL 6,第2期,157--173(1998;Zbl 0906.03030) 全文: 内政部 链接
毛里西奥·阿亚拉·林科恩 以内置谓词为前提的条件方程系统的演绎演算。 (英语) Zbl 0918.68066号 科伦布牧师。材料。 31,第2期,77-98(1997).MSC公司:68问题65 2012年第68季度 68吨15 03C05号机组 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{M.Ayala-Rincón},科伦坡牧师。材料31,编号2,77--98(1997;Zbl 0918.68066) 全文: 欧洲DML
孙勇 构造演算及其在FBO中的公理化。 (英语) Zbl 0891.03003号 科学学报。北京国立大学。 33,第5期,658-668(1997).MSC公司:03B40型 03B70号 03楼50 03C05号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Sun},《科学学报》。北京国立大学。33,编号5,658--668(1997年;Zbl 0891.03003)
马塞洛·M·邦桑格。;Joost N.角。 有限变换系统的无限域逻辑。 (英语) Zbl 0885.03030号 Abadi,Martín(编辑)等人,《计算机软件的理论方面》。第三届国际研讨会,1997年TACS。1997年9月23日至26日,日本仙台。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1281, 213-232 (1997).MSC公司:03B70号 68问题55 03G10年 PDF格式BibTeX公司 XML格式引用 \textit{M.M.Bonsangue}和\textit{J.N.Kok},莱克特。注释计算。科学。1281、213--232(1997;Zbl 0885.03030)
沃尔夫拉姆·卡尔;托马斯·斯特拉林 参考书目:“计算机科学中的关系方法”。 (英语) Zbl 0879.08007号 Chris Brink等人,《计算机科学中的关系方法》。维恩:施普林格。计算机科学进展。247-262 (1997).MSC公司:08A70型 00A15年 08A02号 03G15年 PDF格式BibTeX公司 XML格式引用 \textit{W.Kahl}和\textit{T.Ströhlein},in:计算机科学中的关系方法。维恩:施普林格。247--262(1997;Zbl 0879.08007)
彼得·吉普森;克里斯·布林克;冈瑟·施密特 背景材料:“计算机科学中的关系方法”。 (英语) Zbl 0879.08006号 Brink,Chris(编辑)等人,《计算机科学中的关系方法》。维恩:施普林格。计算机科学进展。1-21 (1997).MSC公司:08A70型 08A02号 03G15年 08-01 2001年6月 PDF格式BibTeX公司 XML格式引用 \textit{P.Jipsen}等人,in:计算机科学中的关系方法。维恩:施普林格。1-21(1997;Zbl 0879.08006)
本诺·比沃 模糊方法。(模糊方法。) (德语) Zbl 0870.68002号 柏林:斯普林格。xvi,721页(1997年)。 审核人:S.Gottwald(莱比锡) MSC公司:68-01 68甲15 03电子72 94D05型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{B.Biewer},模糊方法。柏林:施普林格出版社(1997;Zbl 0870.68002)
戴维·桑吉奥吉 移动进程计算中的位置和交错语义。 (英语) Zbl 0874.68115号 西奥。计算。科学。 155,第1号,39-83(1996).MSC公司:2010年第68季度 03B70号 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{D.Sangiorgi},Theor。计算。科学。155,编号1,39--83(1996;Zbl 0874.68115) 全文: 内政部
威廉·麦库恩;帕德马纳班,R。 方程式逻辑和三次曲线的自动推导。 (英语) Zbl 0921.03011号 计算机科学课堂讲稿1095.人工智能课堂讲稿。柏林:Springer-Verlag。ix,231页,马克54.00;öS 394.20;法语。48.00 (1996).MSC公司:03B35型 68吨15 03-02 68-02 03C05号机组 08-04 14-04 2005年第14季度 14小时45分 PDF格式BibTeX公司 XML格式引用 \textit{W.McCune}和\textit{R.Padmanabhan},等式逻辑和三次曲线的自动演绎。柏林:Springer-Verlag(1996;Zbl 0921.03011) 全文: 内政部
弗兰兹·巴德;沃纳·纳特 交换/单体理论的组合问题或代数如何帮助方程统一。 (英语) Zbl 0853.03008号 申请。代数工程通讯。计算。 7,第4期,309-337(1996).MSC公司:03C05号机组 08A70型 18E05型 2016年60月 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{W.Nutt},应用。代数工程通讯。计算。7,第4号,309--337(1996;Zbl 0853.03008) 全文: 内政部
兹比格涅夫·斯塔奇尼亚克 防分辨率系统。代数理论。 (英语) Zbl 0849.03010号 自动推理系列. 4. 多德雷赫特:Kluwer学术出版社。xvi,206 p.英国国防部。180.00; $ 120.00; £80.00 (1996). 审核人:N.Zamov(喀山) MSC公司:03B35型 68吨15 03-02 68-02 03G25号 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{Z.Stachniak},分辨率证明系统。代数理论。多德雷赫特:Kluwer学术出版社(1996;Zbl 0849.03010)
斯格尔斯,L.J。 具有超限类型的高阶代数。 (英语) 兹比尔1407.68093 Dowek,Gilles(编辑)等人,《高阶代数、逻辑和术语重写》。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1074, 238-263 (1996).MSC公司:68甲18 03B70号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.J.Steggles},莱克特。注释计算。科学。1074、238--263(1996年;Zbl 1407.68093) 全文: 内政部
Hintermeier,克劳斯;赫莱内·基什内尔;彼得·莫塞斯(Peter D.Mosses)。 \(R^n)和(G^n)逻辑。 (英语) Zbl 1434.03083号 Dowek,Gilles(编辑)等人,《高阶代数、逻辑和术语重写》。第二次国际研讨会,1995年9月21日至22日,德国帕德博恩,HOA'95。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1074, 90-108 (1996).MSC公司:03B70号 03B16号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Hintermeier}等人,Lect。注释计算。科学。1074、90-108(1996年;Zbl 1434.03083) 全文: 内政部
博格达诺维奇,S。(编辑);乔伊里奇,M。(编辑);佩罗维奇。(编辑) 代数、逻辑和离散数学国际会议,1995年4月14日至16日,南斯拉夫尼什。 (英语) Zbl 0843.00034号 Filomat公司9,第3期,385-965(1995)。 MSC公司:00B25型 03-06 08-06 20-06 68-06 PDF格式BibTeX公司 XML格式
艾布拉姆斯基,S。(编辑);Dov M.加巴伊。(编辑);迈鲍姆,T.S.E。(编辑) 计算机科学逻辑手册。第4卷:语义建模。 (英语) Zbl 0876.68001号 牛津:克拉伦登出版社。xiii,651页(1995年)。MSC公司:68-00 00B15号机组 68问题55 03B70号 2010年第68季度 68问题65 03D45号 第68季度第60季度 06B35号 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{S.Abramsky}(编辑)等人,《计算机科学中的逻辑手册》。第4卷:语义建模。牛津:克拉伦登出版社(1995年;Zbl 0876.68001)
J.A.伯格斯特拉。;J.V.塔克。 堆栈代数的数据类型变化。 (英语) Zbl 0821.68082号 Ann.纯粹应用。逻辑 73,第1期,11-36页(1995年).MSC公司:68问题65 08A70型 03天80 03C05号机组 2012年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},Ann.Pure Appl。逻辑73,No.1,11-36(1995;Zbl 0821.68082) 全文: 内政部 链接
A.埃伦菲赫特。;G.罗森伯格。 方形系统。 (英语) Zbl 0796.08001号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 20,编号1-3,75-111(1994).MSC公司:08A02号 68第05页 03E05号 05二氧化碳 68卢比99 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{G.Rozenberg},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.20,No.1--3,75-111(1994;Zbl 0796.08001)
鲍里斯·伊萨科维奇(Boris Isaakovich Plotkin) 通用代数、代数逻辑和数据库。Transl.公司。来自俄罗斯的J.Cirulis、A.Nenashev和V.Pototsky。版次Transl。 (英语) Zbl 0785.68025号 数学及其应用(多德雷赫特). 272. 多德雷赫特:Kluwer学术出版社。xv,438页(1994年)。MSC公司:第68页第15页 03G15年 08A70型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{B.I.Plotkin},通用代数,代数逻辑和数据库。Transl.公司。由J.Cirulis、A.Nenashev和V.Pototsky撰写的《俄文》。版次Transl。多德雷赫特:Kluwer学术出版社(1994年;Zbl 0785.68025)
雷内·莱利 计算作为逻辑。Transl.公司。约翰·普莱斯的《来自法国》。 (英语) Zbl 0823.03015号 普伦蒂斯·霍尔计算机科学国际系列。海梅尔·亨普斯特德:普伦蒂斯·霍尔。巴黎:Masson,xi,387 p.(1993)。MSC公司:03B70号 68号01 03-01 68-01 03B35型 68吨15 68N17号 03B40型 03B10号机组 03C05号机组 03C07号机组 2012年第68季度 68问题55 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{R.Lalement},计算作为逻辑。Transl.公司。约翰·普莱斯的《来自法国》。赫梅尔·亨普斯特德:普伦蒂斯·霍尔;巴黎:马森(1993;Zbl 0823.03015)
伊芙琳·孔特让 通过归约到(AC1)-统一来解决模分配性的(*)-问题。 (英语) Zbl 0803.68059号 J.塞姆。计算。 16,第5期,493-521(1993).MSC公司:2012年第68季度 03年2月25日 68吨15 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{E.Contejean},J.Symb。计算。16,第5号,493--521(1993;Zbl 0803.68059) 全文: 内政部
阿里斯蒂德梅格里斯 阿尔及利亚加拉提克。(银河代数)。2èmeéd。(阿尔盖布雷·卡拉狄克) (法语) Zbl 0850.08001号 Roccqueourt:国家信息与自动化研究所(INRIA)。xxxiv,232页(南希一大学,Vandoevre-Les-Nancy,1990年)(1992年)。MSC公司:08-02 08A70型 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Mégrelis},Algèbre galactique。2èmeéd。罗克扬科特:国家信息与自动化研究所(INRIA)(1992;Zbl 0850.08001)
彼得·巴赫曼 计算机科学的数学基础。(Mathematische Grundlagen der Informatik) (德语) Zbl 0786.68001号 Informatik(柏林). 6. 柏林:Akademie-Verlag。294 S.(1992)。 审核人:J.Adámek(普拉哈) MSC公司:68-01 03-01 08-01 PDF格式BibTeX公司 XML格式引用 \textit{P.巴赫曼},Mathematische Grundlagen der Informatik。柏林:Akademie-Verlag(1992;Zbl 0786.68001)
加布里埃尔·里奇 通用特征值方程。 (英语) Zbl 0786.15012号 聚氨基甲酸酯。纯数学硕士。申请。,序列号。B类 3,编号2-4,231-288(1992). 审核人:陈志杰(上海) MSC公司:15甲18 03C05号机组 08B20号 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{G.里奇},PU。纯数学硕士。申请。,序列号。B3,编号2-4231-288(1992;Zbl 0786.15012)
J.V.塔克。;朱克,J.I。 抽象结构上的可证明可计算选择函数。 (英语) Zbl 0805.03034号 Aczel,Peter(编辑)等人,证明理论。本文选自1990年7月24日至8月2日在英国利兹大学举行的利兹证明理论国际暑期学校和证明理论会议的论文。剑桥:剑桥大学出版社。277-306(1992年)。MSC公司:03D75号 05年3月 68问题65 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{J.V.Tucker}和\textit{J.I.Zucker},见:证明理论。本文选自1990年7月24日至8月2日在英国利兹大学举行的利兹证明理论国际暑期学校和证明理论会议的论文。剑桥:剑桥大学出版社。277-306(1992年;兹bl 0805.03034)
文森佐·曼卡;安东尼奥·萨利布拉;朱塞佩·斯科洛 关于等式逻辑的表达性。 (英语) Zbl 0768.08003号 统一计算实验室:建模、规范和工具。Conf.,Stirling/UK 1990,数学研究所。申请。Conf.序列号。,新序列号。35, 85-100 (1992).MSC公司:08A70型 08B05年 68吨15 08A55号 68问题65 第18页第15页 08C10号 2012年第68季度 03B20型 PDF格式BibTeX公司 XML格式引用 \textit{V.Manca}等人,《数学研究所》。申请。Conf.序列号。,新序列号。35,85--100(1992;Zbl 0768.08003)
亚历山大·布代特;伊芙琳·孔特让 论句法等式理论。 (英语) Zbl 0925.03159号 Kirchner,Helene(编辑)等人,《代数和逻辑编程》。1992年9月2日至4日,第三届国际会议,ALP’92,意大利沃尔特拉。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。632, 446-457 (1992).MSC公司:03C05号机组 03B70号 2012年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.Boudet}和\textit{E.Contejean},莱克特。注释计算。科学。632446-457(1992年;Zbl 0925.03159)
比亚尼·Jónsson 二元关系理论。 (英语) 兹伯利0760.03018 代数逻辑。科洛克,布达普/挂。1988年,大学数学。János Bolyai社会54,245-292(1991)。 审核人:S.Rudeanu(布库雷什蒂) MSC公司:03Gxx公司 03G15年 08A02号 03-02 68问题55 05年3月 03G25号 03B45号 03B70号 08A40号 03E20型 03G10年 06B20号 PDF格式BibTeX公司 XML格式引用 \textit{B.Jónsson},《大学数学》。Soc.János Bolyai萨诺斯·博莱54,245--292(1991;Zbl 0760.03018)
普洛金,B.I。 通用代数、代数逻辑和数据库。(Universal’naya代数,algebraicheskaya logika i bazy dannykh。) (俄语) Zbl 0769.68018号 莫斯科:瑙卡。第448页(1991年)。 审核人:M.Duí(普拉哈) MSC公司:第68页第15页 03G15年 08A70型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{B.I.Plotkin},Universal’naya代数,algebraicheskaya logika I bazy dannykh(俄语)。莫斯科:瑙卡(1991;Zbl 0769.68018)
你,嘉慧 统一模是等式逻辑程序设计的一种等式理论。 (英语) Zbl 0718.68021号 J.计算。系统。科学。 42,第1期,54-75(1991). 审核人:P.van Emde Boas(阿姆斯特丹) MSC公司:68N17号 2012年第68季度 03C05号机组 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.-H.You},J.计算。系统。科学。42,编号1,54--75(1991;Zbl 0718.68021) 全文: 内政部
纳鸿·德肖维茨;圣埃芬·卡普兰;David A.Plaisted。 重写,重写,重写…。 (英语) Zbl 0759.68044号 西奥。计算。科学。 83,第1期,71-96(1991). 审核人:C.Masalagiu(伊阿什) MSC公司:2012年第68季度 68问题55 03英尺15英寸 08A70型 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人,Theor。计算。科学。83,第1号,71-96(1991年;Zbl 0759.68044) 全文: 内政部
约瑟夫·戈根(Joseph A.Goguen)。 证明和重写。 (英语) Zbl 1496.03045号 Kirchner,Hélène(编辑)等人,《代数与逻辑编程》。第二届国际会议,1990年10月1日至3日,法国南希。诉讼程序。柏林等:Springer-Verlag。莱克特。注释计算。科学。463, 1-24 (1990).MSC公司:03B35型 08A70型 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen},莱克特。注释计算。科学。463,1--24(1990年;Zbl 1496.03045) 全文: 内政部
S.V.苏尔日科。 关于一些算法代数类。 (英语。俄文原件) Zbl 0752.08004号 控制论 26,No.3,442-446(1990); 译自Kibernetika 1990,第3期,100-104(1990)。MSC公司:08A70型 68N99型 99年第68季度 60J10型 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{S.V.Surzhko},《控制论》第26卷第3期,第442--446页(1990年;Zbl 0752.08004);译自Kibernetika 1990,No.3,100--104(1990) 全文: 内政部
朱拉吉·赫罗姆科维奇;马提亚斯·克劳斯;克里斯托夫·梅内尔;斯蒂芬·瓦克 分支程序提供了多段确定性和非确定性VLSI电路面积的下限。 (英语) Zbl 0674.68033号 Inf.计算。 96,第2期,168-178(1992). 审核人:J.霍姆科维奇 MSC公司:68平方米 2015年3月1日 94立方厘米 68N25号 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič}等人,《信息计算》。96,第2号,168--178(1990年;Zbl 0674.68033) 全文: 内政部
朱拉吉·赫罗姆科维奇 计算特定布尔函数的平面电路处理器数量的非线性下限。 (英语) Zbl 0674.68032号 Inf.计算。(出现)。 审核人:J.霍姆科维奇 MSC公司:68平方米 68瓦99 68兰特 94立方厘米 2015年3月1日 PDF格式BibTeX公司 XML格式
帕特里齐亚·吉安尼(编辑) ISSAC’88。符号和代数计算国际研讨会论文集。1988年7月4日至8日,意大利罗马。 (英语) Zbl 0706.68006号 计算机科学课堂讲稿358.柏林等:斯普林格·弗拉格。xi,544 p.74.00马克(1989年)。 审核人:弗里德里希·施瓦兹(帕德博恩) MSC公司:68-06 68瓦30 05年6月 11年40 2016年11月 12小时 03B35型 2012年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{P.Gianni}(编辑),ISSAC’88。符号和代数计算国际研讨会论文集。1988年7月4日至8日,意大利罗马。柏林等:Springer-Verlag(1989;Zbl 0706.68006) 全文: 内政部
布鲁诺·库塞尔 用代数表达式表示图及其在图重写系统中的应用。 (英语) Zbl 0643.68104号 图文法及其在计算机科学中的应用,第三届国际研讨会,沃伦顿/弗吉尼亚州,1986年,莱克托。注释计算。科学。291, 112-132 (1987).MSC公司:65年第68季度 08B05年 68兰特 03B10号机组 68问题65 PDF格式BibTeX公司 XML格式
迈克尔·R·加里。;大卫·约翰逊。 计算机和棘手。Transl.公司。由E.V.Levner和M.A.Frumkin摘自英语。(Вычислителъные машины и труднорешаемые задачи.) (俄语) Zbl 0522.68040号 莫斯科:Izdatel'stvo“Mir”。416第R.2.90页(1982年)。MSC公司:第68季度25 68-02 2015年3月1日 17年5月 68N99型 68平方米 65年第68季度 68兰特 68T99型 68第20页 90B35型 90C99号 91A99型 94C15号机组 94C30个 PDF格式BibTeX公司 XML格式