彼得·琼森;维克托·拉盖克维斯特;约翰·施密特;汉内斯·厄普曼 指数时间假设以及优化和逻辑推理问题的相对复杂性。 (英语) Zbl 1514.68085号 西奥。计算。科学。 892, 1-24 (2021).MSC公司:65年第68季度 08A70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Jonsson}等人,Theor。计算。科学。892,1-24(2021年;兹比尔1514.68085) 全文: 内政部
马修·摩尔 有限度克隆是不可判定的。 (英语) Zbl 1454.08002号 西奥。计算。科学。 796, 237-271 (2019).MSC公司:08A40号 03天35分 08B10号 PDF格式BibTeX公司 XML格式引用 \文本{M.Moore},Theor。计算。科学。796,237--271(2019;Zbl 1454.08002) 全文: 内政部 arXiv公司
Choffrut,中国。;埃西克,Z。 部分词的两个等式理论。 (英语) Zbl 1435.68249号 西奥。计算。科学。 737, 19-39 (2018).MSC公司:68兰特 05年3月 08B05号 PDF格式BibTeX公司 XML格式引用 \textit{Ch.Choffrut}和\textit{Z.e-sik},Theor。计算。科学。737、19-39(2018年;Zbl 1435.68249) 全文: 内政部
安德烈·布拉托夫;莱斯利·安·戈德伯格;马克·杰鲁姆;戴维·里切比;斯坦尼斯拉夫·伊文 功能克隆和配分函数的可表达性。 (英语) Zbl 1418.08001号 西奥。计算。科学。 687, 11-39 (2017).MSC公司:08A40号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Bulatov}等人,Theor。计算。科学。687,11--39(2017;Zbl 1418.08001) 全文: 内政部 arXiv公司
露西·哈姆 鲁棒可满足性的间隙定理:布尔CSP及其以外。 (英语) 兹比尔1370.68128 西奥。计算。科学。 676, 69-91 (2017).MSC公司:65年第68季度 08A40号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{L.Ham},Theor。计算。科学。676、69-91(2017年;Zbl 1370.68128) 全文: 内政部 arXiv公司
F.Michel Dekking;迈克尔·基恩。 关于斐波那契动力系统的共轭类。 (英语) Zbl 1362.37031号 西奥。计算。科学。 668, 59-69 (2017).MSC公司:37B10号机组 37立方厘米 03D40号 08A50号 PDF格式BibTeX公司 XML格式引用 \textit{F.M.Dekking}和\textit{M.S.Keane},Theor。计算。科学。668、59-69(2017年;Zbl 1362.37031) 全文: 内政部 arXiv公司
田靖;赵显忠;邵勇 关于循环自动机的结构和表示。 (英语) Zbl 1339.68174号 西奥。计算。科学。 609,第2部分,344-360(2016). 审核人:Michal Kunc(布尔诺) MSC公司:70年第68季度 08年60月 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Tian}等人,Theor。计算。科学。609,第2部分,344--360(2016;Zbl 1339.68174) 全文: 内政部
关雪冲;李永明 半环诱导赋值代数保持最优解的映射条件。 (英语) Zbl 1302.68261号 西奥。计算。科学。 563,86-98(2015).MSC公司:68层37 08A70号 2016年60月 PDF格式BibTeX公司 XML格式引用 \textit{X.Guan}和\textit{Y.Li},Theor。计算。科学。563,86-98(2015;Zbl 1302.68261) 全文: 内政部
范阿尔滕,C.J。 分配格、布尔代数和Heyting代数的部分代数、可满足性复杂性和普适理论。 (英语) Zbl 1296.03020号 西奥。计算。科学。 501, 82-92 (2013).MSC公司:03B70号 05年6月 06D20日 05年6月 08A55号 08A70号 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{C.J.van Alten},Theor。计算。科学。501、82-92(2013年;Zbl 1296.03020) 全文: 内政部
克里斯托夫·贝勒;安德烈亚斯·克雷布斯;马克·默瑟 线性电路、二元逻辑和弱阻塞幺半群。 (英语) 兹比尔1297.94134 西奥。计算。科学。 501, 20-33 (2013).MSC公司:94立方厘米 2005年第68季度 70年第68季度 03B70号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{C.Behle}等人,Theor。计算。科学。501、20-33(2013年;Zbl 1297.94134) 全文: 内政部
西蒙·波娃;佛朗哥·蒙塔格纳 多项式空间硬度无析取性质。 (英语) Zbl 1298.68097号 西奥。计算。科学。 467, 1-11 (2013). 审核人:杰玛·罗伯斯(莱昂) MSC公司:2017年第68季度 03B70号 03B47号 03G25号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Bova}和\textit{F.Montagna},Theor。计算。科学。467,1--11(2013;Zbl 1298.68097) 全文: 内政部
阿希姆·布卢门萨特 无限树代数的可识别性。 (英语) Zbl 1233.68159号 西奥。计算。科学。 412,第29号,3463-3486(2011). 审核人:马格努斯·斯坦比(图尔库) MSC公司:70年第68季度 08A70号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Blumensath},Theor(西奥)。计算。科学。412,第29号,3463-3486(2011;Zbl 1233.68159) 全文: 内政部
布鲁姆,S.L。;埃西克,Z。 范畴代数的Mezei-Wright定理。 (英语) 兹比尔1186.68244 西奥。计算。科学。 411,第2号,341-359(2010).MSC公司:65年第68季度 18立方厘米 08A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.埃西克},Theor。计算。科学。411,第2号,341--359(2010;Zbl 1186.68244) 全文: 内政部
马塞洛·菲奥雷;中基尔胡尔 关于方程组自由代数的构造。 (英语) Zbl 1170.18006号 西奥。计算。科学。 410,第18期,1704-1729(2009). 审核人:米歇尔·赫伯特(开罗) MSC公司:18立方厘米05 08B20号 68问题85 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fiore}和\textit{C.-K.Hur},Theor。计算。科学。410,第18号,1704-1729(2009;Zbl 1170.18006) 全文: 内政部
曼纽尔·博迪尔斯基;陈,胡比;简·卡拉;蒂莫·冯·奥尔岑 极大无穷值约束语言。 (英语) Zbl 1172.68052号 西奥。计算。科学。 410,编号181684-1693(2009).MSC公司:68T20型 03C35号 08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bodirsky}等人,Theor。计算。科学。410,第18号,1684--1693(2009;Zbl 1172.68052) 全文: 内政部
阿尔伯特·阿塞里亚斯;安德烈·布拉托夫;阿努吉·达瓦尔 仿射方程组和计数无穷逻辑。 (英语) Zbl 1168.68040号 西奥。计算。科学。 410,第18期,1666-1683(2009).MSC公司:68T20型 03C13号机组 03立方厘米75 08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Atserias}等人,Theor。计算。科学。410,第18号,1666--1683(2009;Zbl 1168.68040) 全文: 内政部
Larose,贝诺?t;帕斯卡·泰森 约束满足问题的泛代数和硬度结果。 (英语) Zbl 1172.68024号 西奥。计算。科学。 410,第18期,1629-1647(2009).MSC公司:2015年第68季度 2017年第68季度 68T20型 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Larose}和\textit{P.Tesson},Theor。计算。科学。410,第18号,1629--1647(2009;Zbl 1172.68024) 全文: 内政部
戈博尔·霍瓦思;尼哈尼夫(Nehaniv)、克里斯托弗(Chrystopher L.)。;萨巴萨博 关于函数完备代数和NP-完备的断言。 (英语) Zbl 1153.68020号 西奥。计算。科学。 407,编号1-3,591-595(2008).MSC公司:2017年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Horváth}等人,Theor。计算。科学。407,编号1-3-591-595(2008年;Zbl 1153.68020) 全文: 内政部 链接
马钦·科齐克 具有EXPTIME-完全组合问题的有限函数集。 (英语) Zbl 1152.68023号 西奥。计算。科学。 407,编号1-3,330-341(2008).MSC公司:65年第68季度 08A40号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{M.Kozik},Theor。计算。科学。407,编号1--3,330-341(2008;Zbl 1152.68023) 全文: 内政部
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 具有参数化迭代性的代数。 (英语) Zbl 1131.18002号 西奥。计算。科学。 388,编号1-3,130-151(2007). 审核人:达纳·皮奇乌(克雷奥瓦) MSC公司:18立方厘米 08B20号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,Theor。计算。科学。388,编号1--3,130-151(2007;Zbl 1131.18002) 全文: 内政部
赛义德·萨利希;马格纳斯·斯坦比 树代数和各种树语言。 (英语) Zbl 1118.68089号 西奥。计算。科学。 377,编号1-3,1-24(2007).MSC公司:70年第68季度 65年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Salehi}和\textit{M.Steinby},Theor。计算。科学。377,编号1--3,1--24(2007;Zbl 1118.68089) 全文: 内政部
彼得·弗雷德 重温核心代数。 (英语) Zbl 1118.18004号 西奥。计算。科学。 375,编号1-3193-200(2007). 审核人:米歇尔·赫伯特(开罗) MSC公司:18天35分 05年3月 68甲18 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{P.Freyd},Theor。计算。科学。375,编号1--3,193-200(2007;Zbl 1118.18004) 全文: 内政部
阿达梅克,J。 代数和余代数的交集。 (英语) Zbl 1110.18002号 西奥。计算。科学。 366,编号1-2,82-97(2006). 审核人:达纳·皮奇乌(克雷奥瓦) MSC公司:18立方厘米05 18B20型 08B99号 18个C20 99年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Adámek},Theor。计算。科学。366,编号1--2,82-97(2006;Zbl 1110.18002) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;安娜·英格尔夫斯多蒂;苏米特·奈恩 具有中断的BPA上的双相似性不是有限的。 (英语) Zbl 1154.68084号 西奥。计算。科学。 366,编号1-2,60-81(2006).MSC公司:68问题85 05年3月 08A70号 2010年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。366,编号1--2,60-81(2006;Zbl 1154.68084) 全文: 内政部 链接
劳拉·乔巴德;让-埃里克·品;霍华德·斯特劳宾 行动,花环产品的\(\mathcal C\)-品种和串联产品。 (英语) Zbl 1143.68048号 西奥。计算。科学。 356,编号1-2,73-89(2006).MSC公司:70年第68季度 08A70号 08B25号 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{L.Chaubard}等人,Theor。计算。科学。356,编号1--2,73-89(2006;Zbl 1143.68048) 全文: 内政部
马库斯·克拉希特 部分代数,意义范畴和代数化。 (英语) 兹比尔1088.03028 西奥。计算。科学。 354,第1期,131-141(2006).MSC公司:03B65号 03G25号 08A55号 PDF格式BibTeX公司 XML格式引用 \文本{M.Kracht},Theor。计算。科学。354,编号1,131--141(2006;Zbl 1088.03028) 全文: 内政部
塔贾纳佩特科维奇;赛义德·萨利希 树语言的积极变化。 (英语) Zbl 1080.68068号 西奥。计算。科学。 347,编号1-2,1-35(2005).MSC公司:70年第68季度 08A70号 2015年2月6日 08B99号 2007年7月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{T.Petković}和\textit{S.Salehi},Theor。计算。科学。347,编号1--2,1--35(2005;Zbl 1080.68068) 全文: 内政部
巴斯·卢提克;文森特·范·奥斯特罗姆 分解阶——算术基本定理的另一种推广。 (英语) Zbl 1085.06009号 西奥。计算。科学。 335,编号2-3,147-186(2005).MSC公司:05年6月 68问题85 08A55号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Luttik}和\textit{V.van Oostrom},Theor。计算。科学。335,编号2--3,147-186(2005;Zbl 1085.06009) 全文: 内政部
卢卡·埃特罗;Wan Fokkink公司;Ingólfsdóttir,安娜;巴斯·卢提克 CCS与轩尼诗的合并没有有限等式公理化。 (英语) 兹比尔1078.68102 西奥。计算。科学。 330,第3期,377-405(2005).MSC公司:68问题85 08A70号 03B45 05年3月 2010年第68季度 65年第68季度 第68季度55 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。330,第3号,377--405(2005;Zbl 1078.68102) 全文: 内政部 链接
塔贾纳佩特科维奇;米罗斯拉夫·奇·伊里奇;斯托扬·博格达诺维奇 自由半群上的一元代数、半群和同余。 (英语) Zbl 1105.68078号 西奥。计算。科学。 324,第1期,第87-105页(2004年).MSC公司:70年第68季度 08年60月 08A70号 08B15号 2005年5月20日 2007年7月20日 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{T.Petković}等人,Theor。计算。科学。324,第1号,87--105(2004;Zbl 1105.68078) 全文: 内政部
阿达梅克,吉安尼;斯特凡·米利厄斯;吉·维勒比尔 基于类的余代数。 (英语) 兹比尔1047.18005 西奥。计算。科学。 316,编号1-3,3-23(2004). 审核人:瓦克拉夫·库贝克(普拉哈) MSC公司:18个B05 18立方厘米 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}等人,Theor。计算。科学。316,编号1--3,3--23(2004;Zbl 1047.18005) 全文: 内政部 arXiv公司
沃恩·普拉特 楚空间是线性逻辑和数学之间的语义桥梁。 (英语) Zbl 1042.18002号 西奥。计算。科学。 294,第3期,439-471(2003). 审核人:彼得·约翰斯通(剑桥) MSC公司:18B15号机组 第03页 03G30型 08A02号 18日第15天 PDF格式BibTeX公司 XML格式引用 \文本{V.Pratt},Theor。计算。科学。294,第3号,439--471(2003;Zbl 1042.18002) 全文: 内政部
劳伦斯·莫斯。 递归和共递归具有相同的等式逻辑。 (英语) Zbl 1029.03018号 西奥。计算。科学。 294,编号1-2,233-267(2003).MSC公司:03B70号 08A70号 03D75号 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Moss},Theor(西奥)。计算。科学。294,编号1--2,233--267(2003;Zbl 1029.03018) 全文: 内政部
卢卡·埃特罗;艾西克,佐尔坦;Ingólfsdóttir,安娜 热带半环的等式理论。 (英语) Zbl 1021.08002号 西奥。计算。科学。 298,第3期,417-469(2003).MSC公司:08A70号 2016年60月 70年第68季度 05年3月 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。298,第3号,417--469(2003;Zbl 1021.08002) 全文: 内政部
卢卡·埃特罗;艾西克,佐尔坦;Ingólfsdóttir,安娜 自然数的max-plus代数没有有限的方程式基础。 (英语) Zbl 1021.08001号 西奥。计算。科学。 293,第1期,169-188(2003). 审核人:列奥尼德·马特维维奇·马蒂诺夫(鄂木斯克) MSC公司:08A70号 05年3月 2015年第68季度 70年第68季度 08B20号 PDF格式BibTeX公司 XML格式引用 \textit{L.Aceto}等人,Theor。计算。科学。293,第1号,169--188(2003;Zbl 1021.08001) 全文: 内政部
克利福德·伯格曼;乔拉·斯卢茨基 代数同余问题的计算复杂性。 (英语) Zbl 0988.68082号 西奥。计算。科学。 270,第1-2号,591-608(2002).MSC公司:65年第68季度 08A30型 2017年第68季度 08A35型 05C40号 PDF格式BibTeX公司 XML格式引用 \textit{C.Bergman}和\textit{G.Slutzki},Theor。计算。科学。270,编号1--2,591--608(2002;Zbl 0988.68082) 全文: 内政部
德拉甘·马什乌洛维奇;博扎·塔西奇 余代数类上的算子。 (英语) Zbl 0985.08003号 西奥。计算。科学。 269,第1-2号,419-431(2001).MSC公司:08A70号 99年第68季度 05年6月 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{D.Mašulović}和\textit{B.Tasić},Theor。计算。科学。269,编号1-2419-431(2001年;Zbl 0985.08003) 全文: 内政部
川原康夫;Masao Mori 一个小的最终余代数定理。 (英语) Zbl 0952.68101号 西奥。计算。科学。 233,编号1-2,129-145(2000).MSC公司:68问题85 08C05号机组 18A40型 18 C50 PDF格式BibTeX公司 XML格式引用 \textit{Y.Kawahara}和\textit{M.Mori},Theor。计算。科学。233,编号1--2,129-145(2000;Zbl 0952.68101) 全文: 内政部
Crvenković,S。;我.多林卡。;埃西克,Z。 具有转换的Kleene代数的多样性不是基于有限的。 (英语) Zbl 0954.08004号 西奥。计算。科学。 230,编号1-2,235-245(2000). 审核人:M.Steinby(图尔库) MSC公司:08B05号 65年第68季度 05年3月 08A02号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Crvenković}等人,Theor。计算。科学。230,编号1--2,235-245(2000;Zbl 0954.08004) 全文: 内政部
克劳斯·巴塞尔曼 有限关系结构上的非确定性操作。 (英语) Zbl 0916.08004号 西奥。计算。科学。 200,第1-2、1-44号(1998年). 审核人:M.Armbrust(科伦) MSC公司:08A70号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.巴塞尔曼},Theor。计算。科学。200,编号1--2,1--44(1998;Zbl 0916.08004) 全文: 内政部
Franz巴德;克劳斯·舒尔茨。 自由和准自由结构的约束求解器组合。 (英语) Zbl 0895.68019号 西奥。计算。科学。 192,第1期,第107-161页(1998年).MSC公司:68N17号 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Baader}和\textit{K.U.Schulz},Theor。计算。科学。192,编号1,107--161(1998;Zbl 0895.68019) 全文: 内政部
于尔根·科斯洛夫斯基 关于连续域上自由代数的注记。 (英语) Zbl 0896.08008号 西奥。计算。科学。 179,编号1-2,421-425(1997).MSC公司:08B20号 06B35号 第68季度55 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{J.Koslowski},Theor。计算。科学。179,编号1--2,421--425(1997;Zbl 0896.08008) 全文: 内政部
斯蒂芬·布鲁姆。;艾西克,佐尔坦 不动点的等式逻辑。 (英语) Zbl 0920.03067号 西奥。计算。科学。 179,第1-2、1-60号(1997年). 审核人:P.Bankston(密尔沃基) MSC公司:03G30型 18立方厘米 08A70号 03D75号 08B05号 06B35号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.埃西克},Theor。计算。科学。179,编号1--2,1--60(1997;Zbl 0920.03067) 全文: 内政部
伯迈斯特,P。;罗塞洛,F。;托伦斯,J。;瓦伦特,G。 一元部分代数的代数变换。一: 双推法。 (英语) Zbl 0896.08006号 西奥。计算。科学。 184,第1-2期,145-193(1997).MSC公司:08A55号 第68季度第42季度 08年60月 08A70号 08C05号机组 18A30型 PDF格式BibTeX公司 XML格式引用 \textit{P.Burmeister}等人,Theor。计算。科学。184,编号1--2,145-193(1997;Zbl 0896.08006) 全文: 内政部
托马斯·威尔克 前沿可测试树语言的代数特征。 (英语) Zbl 0871.68110号 西奥。计算。科学。 154,第1期,85-106(1996).MSC公司:70年第68季度 65年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{T.Wilke},Theor。计算。科学。154,编号1,85--106(1996;Zbl 0871.68110) 全文: 内政部
斯蒂芬·布鲁姆。;艾西克,佐尔坦 ccc上的定点操作。一、。 (英语) Zbl 0874.18006号 西奥。计算。科学。 155,第1期,第1-38页(1996年).MSC公司:18日第15天 第68季度55 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.埃西克},Theor。计算。科学。155,第1号,1-38(1996;Zbl 0874.18006) 全文: 内政部
斯蒂芬·布鲁姆。;艾西克,佐尔坦 语言变体中的自由洗牌代数。 (英语) Zbl 0874.68171号 西奥。计算。科学。 163,编号1-2,55-98(1996).MSC公司:65年第68季度 08A70号 08B20号 2016年60月 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.埃西克},Theor。计算。科学。163,编号1--2,55-98(1996;Zbl 0874.68171) 全文: 内政部
布鲁诺·库塞尔 语言理论和图文法的泛代数的基本概念。 (英语) Zbl 0874.68170号 西奥。计算。科学。 163,编号1-2,1-54(1996).MSC公司:65年第68季度 08A70号 68兰特 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。163,编号1--2,1--54(1996;Zbl 0874.68170) 全文: 内政部
埃西克,Z。;伯纳茨基,L。 具有转换关系的Kleene代数的方程性质。 (英语) Zbl 0872.08004号 西奥。计算。科学。 137,第2期,237-251(1995).MSC公司:08B05号 08A70号 08A02号 PDF格式BibTeX公司 XML格式引用 \textit{Z.esik}和\textit{L.Bernátsky},Theor。计算。科学。137,第2号,237--251(1995;Zbl 0872.08004) 全文: 内政部
魏家旺 不动点变换的正确性。 (英语) Zbl 0809.08003号 西奥。计算。科学。 129,第1期,123-142(1994). 审核人:C.Masalagiu(伊阿什) MSC公司:08A70号 06年06月06日 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{J.Wei},Theor。计算。科学。129,编号1,123--142(1994;Zbl 0809.08003) 全文: 内政部
豪尔赫·阿尔梅达 局部交换幂半群与字的计数因子。 (英语) Zbl 0812.20039号 西奥。计算。科学。 108,第1期,3-16页(1993年). 审核人:A.V.蒂什琴科(莫斯科) MSC公司:2007年7月20日 08B15号 08C15号 20立方米 PDF格式BibTeX公司 XML格式引用 \文本{J.Almeida},Theor。计算。科学。108,第1号,第3--16号(1993;Zbl 0812.20039) 全文: 内政部
辛尼沙·克文科维奇;Madarász,Rozália sz。 关于Kleene代数。 (英语) Zbl 0778.03006号 西奥。计算。科学。 108,第1期,17-24(1993). 审核人:S.Crvenković(诺维萨德) MSC公司:05年3月 08A50号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Crvenković}和\textit{R.Sz.MadaráSz},Theor。计算。科学。108,编号1,17--24(1993;Zbl 0778.03006) 全文: 内政部
Karhumäki,J。 自动机理论中有限词集上的方程和等价问题。 (英语) Zbl 0787.20035号 西奥。计算。科学。 108,第103-118号(1993年). 审核人:T.J.Harju(图尔库) MSC公司:2005年5月20日 20立方米 70年第68季度 08A40号 PDF格式BibTeX公司 XML格式引用 \文本{J.Karhumäki},Theor。计算。科学。108,编号1,103--118(1993;Zbl 0787.20035) 全文: 内政部
汉斯·迪布基尔;奥斯汀梅尔顿 比较Hagino的分类编程语言和类型lambda-calculi。 (英语) 兹比尔0787.68014 西奥。计算。科学。 111,编号1-2,145-189(1993).MSC公司:68甲15 03B40型 第68季度55 08A70号 18日第15天 PDF格式BibTeX公司 XML格式引用 \textit{H.Dybkjr}和\textit{A.Melton},Theor。计算。科学。111,编号1--2,145-189(1993;Zbl 0787.68014) 全文: 内政部
阿尔伯特·伯罗尼 应用于等式逻辑的高维单词问题。 (英语) Zbl 0791.08004号 西奥。计算。科学。 115,第1期,第43-62页(1993年). 审核人:M.Armbrust(科伦) MSC公司:08A50号 08B05号 18D05日 第68季度第42季度 2005年5月20日 PDF格式BibTeX公司 XML格式引用 \文本{A.Burroni},Theor。计算。科学。115,编号1,43--62(1993;Zbl 0791.08004) 全文: 内政部
阿巴斯·埃达拉特;迈克尔·B·史密斯。 I-categories作为求解领域方程的框架。 (英语) Zbl 0790.18003号 西奥。计算。科学。 115,第1期,77-106(1993). 审核人:M.Eytan(斯特拉斯堡) MSC公司:18B35型 99年6月 08A70号 06B35号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Edalat}和\textit{M.B.Smyth},Theor。计算。科学。115,第1号,77--106(1993;Zbl 0790.18003) 全文: 内政部
格热戈兹·贾泽姆布斯基 部分代数中的程序。 (英语) Zbl 0784.08005号 西奥。计算。科学。 115,第1期,131-149(1993). 审核人:G.贾泽姆布斯基 MSC公司:08A55号 60年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{G.Jarzembski},Theor。计算。科学。115,编号1,131--149(1993;Zbl 0784.08005) 全文: 内政部
休伯特·科蒙 某些商项代数的完备公理化。 (英语) Zbl 0810.03026号 西奥。计算。科学。 118,第2期,167-191(1993).MSC公司:05年3月 03B25号 08A70号 03C10号机组 08C10号 PDF格式BibTeX公司 XML格式引用 \文本{H.Comon},Theor。计算。科学。118,编号2167-191(1993年;兹bl 0810.03026) 全文: 内政部
卡罗琳·塔尔科特 绑定结构理论和重写应用。 (英语) Zbl 0783.68089号 西奥。计算。科学。 112,第1期,99-143(1993).MSC公司:99年第68季度 08A70号 68瓦30 68第05页 PDF格式BibTeX公司 XML格式引用 \文本{C.Talcott},Theor。计算。科学。112,编号1,99--143(1993;Zbl 0783.68089) 全文: 内政部
瓦格伏尔盖,桑多尔 构造识别同余树语言的树自动机的快速算法。 (英语) Zbl 0781.68081号 西奥。计算。科学。 115,第2期,391-399(1993). 审核人:M.Steinby(图尔库) MSC公司:65年第68季度 第68季度第42季度 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{S.Vágvölgyi},Theor。计算。科学。115,编号2391-399(1993年;Zbl 0781.68081) 全文: 内政部
迈克尔·梅因(Michael G.Main)。;大卫·L·布莱克。 完全正确和公平的语义模型。 (英语) Zbl 0778.68064号 西奥。计算。科学。 107,第2号,305-332(1993). 审核人:S.Bloom(霍博肯) MSC公司:60年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.G.Main}和\textit{D.L.Black},Theor。计算。科学。107,编号2,305--332(1993;Zbl 0778.68064) 全文: 内政部
卡尔·梅恩克 高等类型的泛代数。 (英语) 兹比尔0777.08008 西奥。计算。科学。 100,第2期,385-417(1992). 审核人:A.A.Mullin(亨茨维尔) MSC公司:08A70号 68问题65 03B15号机组 PDF格式BibTeX公司 XML格式引用 \文本{K.Meinke},Theor。计算。科学。100,第2号,385--417(1992;Zbl 0777.08008) 全文: 内政部
劳伦斯·莫斯。;何塞·梅塞盖尔;约瑟夫·戈根(Joseph A.Goguen)。 最终代数、余半可计算代数和不可解度。 (英语) Zbl 0768.68093号 西奥。计算。科学。 100,第2期,267-302(1992).MSC公司:68问题65 08A70号 2005年3月25日 08B20号 PDF格式BibTeX公司 XML格式引用 \textit{L.S.Moss}等人,Theor。计算。科学。100,第2号,267--302(1992;Zbl 0768.68093) 全文: 内政部
安德烈亚·马吉奥洛·谢蒂尼;约泽夫·温科夫斯基 走向时间行为的代数。 (英语) Zbl 0772.68037号 西奥。计算。科学。 103,第2期,335-363(1992). 审核人:S.Bloom(霍博肯) MSC公司:2005年第68季度 68问题85 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Maggiolo-Schettini}和\textit{J.Winkowski},Theor。计算。科学。103,第2号,335--363(1992;Zbl 0772.68037) 全文: 内政部
约瑟夫·戈根(Joseph A.Goguen)。;何塞·梅塞盖尔 有序代数。I: 多重继承、重载、异常和部分操作的等式推导。 (英语) Zbl 0778.68056号 西奥。计算。科学。 105,第2期,217-273(1992). 审核人:S.Bloom(霍博肯) MSC公司:第68季度55 08A70号 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Goguen}和\textit{J.Meseguer},Theor。计算。科学。105,第217-273号(1992年;兹bl 0778.68056) 全文: 内政部
特鲁迪·威贝尔 将组合逻辑扩展到组合表示理论。 (英语) Zbl 0763.03013号 西奥。计算。科学。 97,第1期,157-173(1992).MSC公司:03B40型 08B99号 PDF格式BibTeX公司 XML格式引用 \textit{T.Weibel},Theor(西奥)。计算。科学。97,第1号,157--173(1992;Zbl 0763.03013) 全文: 内政部
丹尼尔·本宁格;朱尔格·施密德 有效的次直分解:一个案例研究。 (英语) Zbl 0757.08003号 西奥。计算。科学。 100,第1期,137-156(1992). 审核人:V.Koubek(普拉哈) MSC公司:08B26号 2015年1月6日 68宽10 PDF格式BibTeX公司 XML格式引用 \textit{D.Benninger}和\textit{J.Schmid},Theor。计算。科学。100,第1号,137--156(1992;Zbl 0757.08003) 全文: 内政部
帕特里克·德霍诺伊 自由丛中的单词问题。(mots de dans les gerbes libres问题) (法语) Zbl 0752.08006号 西奥。计算。科学。 94,第2期,199-213(1992). 审核人:P.Dehornoy公司 MSC公司:08A99号 08A50号 2005年5月20日 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Dehornoy},Theor。计算。科学。94,第2号,199--213(1992;Zbl 0752.08006) 全文: 内政部
文森佐·曼卡;安东尼奥·萨利布拉 多子集可能为空的多子代数的Birkhoff方程演算的稳健性和完备性。 (英语) Zbl 0749.08005号 西奥。计算。科学。 94,第1期,101-124(1992). 审核人:S.Bloom(霍博肯) MSC公司:08A70号 08B05号 第68季度55 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{V.Manca}和\textit{A.Salibra},Theor。计算。科学。94,第1号,101--124(1992;Zbl 0749.08005) 全文: 内政部
弗朗索瓦·拉马克 数量域和无穷代数。 (英语) Zbl 0745.03011号 西奥。计算。科学。 94,第1期,第37-62页(1992年).MSC公司:03B40型 03B70号 68甲15 08年65月 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{F.Lamarche},Theor。计算。科学。94,编号1,37-62(1992年;Zbl 0745.03011) 全文: 内政部
A.埃伦菲赫特。;Rozenberg,G。 角2结构。 (英语) Zbl 0753.05069号 西奥。计算。科学。 92,第2期,227-248(1992). 审核人:R.Bodendiek(基尔) MSC公司:05C99年 08A02号 05C78号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}和\textit{G.Rozenberg},Theor。计算。科学。92,第2号,227--248(1992;Zbl 0753.05069) 全文: 内政部
安德烈·塔莱基;罗德·M·伯斯托尔。;约瑟夫·戈根(Joseph A.Goguen)。 计算语义的一些基本代数工具。三: 索引类别。 (英语) Zbl 0755.18004号 西奥。计算。科学。 91,第2期,239-264(1991). 审核人:W.Tholen(Downview) MSC公司:18天30分 第68季度55 08C05号机组 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarlecki}等人,Theor。计算。科学。91,第2号,239--264(1991;Zbl 0755.18004) 全文: 内政部
伊特金,V.E。 混合计算的代数。 (英语) Zbl 0735.68046号 西奥。计算。科学。 90,第1期,第81-93页(1991年). 审核人:B.沃迪洛 MSC公司:68瓦30 60年第68季度 08A70号 PDF格式BibTeX公司 XML格式引用 \文本{V.E.Itkin},Theor。计算。科学。90,编号1,81--93(1991;Zbl 0735.68046) 全文: 内政部
纳鸿·德肖维茨;圣埃芬·卡普兰;普莱斯特德,大卫·A。 重写,重写,重写…。 (英语) Zbl 0759.68044号 西奥。计算。科学。 83,第1期,71-96(1991). 审核人:C.Masalagiu(伊阿什) MSC公司:第68季度第42季度 第68季度55 2015年1月3日 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}等人,Theor。计算。科学。83,编号1,71--96(1991;Zbl 0759.68044) 全文: 内政部
埃里克·瓦格纳。 代数、多项式和程序。 (英语) Zbl 0726.68055号 西奥。计算。科学。 70,第1期,3-34页(1990年). 审核人:S.Bloom(霍博肯) MSC公司:第68季度55 08A70号 18立方厘米 PDF格式BibTeX公司 XML格式引用 \文本{E.G.Wagner},Theor。计算。科学。70,编号1,3--34(1990;Zbl 0726.68055) 全文: 内政部
甚至,苏珊;戴维·施密特(David A.Schmidt)。 基于分类代数的动作语义。 (英语) Zbl 0717.68063号 西奥。计算。科学。 77,No.1-2,73-95(1990).MSC公司:第68季度55 08A70号 08C05号机组 18A23型 PDF格式BibTeX公司 XML格式引用 \textit{S.Even}和\textit{D.A.Schmidt},Theor。计算。科学。77,编号1--2,73-95(1990;Zbl 0717.68063) 全文: 内政部
V·曼卡。;A.萨利布拉。;G.斯科洛。 等式类型逻辑。 (英语) Zbl 0716.03022号 西奥。计算。科学。 77,No.1-2,131-159(1990).MSC公司:05年3月 68问题65 08B05号 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Manca}等人,Theor。计算。科学。77,第1-2131-159号(1990年;兹bl 0716.03022) 全文: 内政部 链接
阿兰·特鲁特 循环有理转导和有理函数的多项式。 (英语) Zbl 0703.68068号 西奥。计算。科学。 70,第2期,261-271(1990). 审核人:F.J.范德林登 MSC公司:65年第68季度 08A40号 PDF格式BibTeX公司 XML格式引用 \文本{A.Terlutte},Theor。计算。科学。70,第2号,261--271(1990;Zbl 0703.68068) 全文: 内政部
伊莎贝尔·格内迪格;克洛德·基什内尔;赫莱内·基什内尔 有序代数中的等式完备。 (英语) Zbl 0698.68028号 西奥。计算。科学。 72,第2-3号,169-202(1990).MSC公司:68问题65 03年3月 08B05号 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{I.Gneedig}等人,Theor。计算。科学。72,编号2--3,169--202(1990;Zbl 0698.68028) 全文: 内政部
瑞希德·埃哈希德 关于缩小策略的完整性。 (英语) Zbl 0698.68027号 西奥。计算。科学。 72,编号2-3,133-146(1990).MSC公司:68问题65 08C05号机组 68瓦30 PDF格式BibTeX公司 XML格式引用 \文本{R.Echahed},Theor。计算。科学。72,编号2-3133-146(1990年;兹bl 0698.68027) 全文: 内政部
让·H·盖利尔。;韦恩·斯奈德 通用E-统一的完整转换集。 (英语) Zbl 0686.68024号 西奥。计算。科学。 67,编号2-3203-260(1989).MSC公司:68瓦30 68吨15 68问题65 03B40型 08A50号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{J.H.Gallier}和\textit{W.Snyder},Theor。计算。科学。67,编号2--3203-260(1989;Zbl 0686.68024) 全文: 内政部 链接
利奥·巴赫迈尔;纳鸿·德肖维茨 重写模同余的完成。 (英语) Zbl 0686.68021号 西奥。计算。科学。 67,编号2-3,173-201(1989).MSC公司:68瓦30 68吨15 08B05号 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{L.Bachmair}和\textit{N.Dershowitz},Theor。计算。科学。67,No.2--3,173--201(1989;Zbl 0686.68021) 全文: 内政部
斯蒂芬·布鲁姆。;佐尔坦·埃西克 循环数据类型规范的等式逻辑。 (英语) Zbl 0683.68018号 西奥。计算。科学。 63,第3期,303-331(1989).MSC公司:68第05页 08C05号机组 18立方厘米05 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.Esik},Theor。计算。科学。63,第3号,303--331(1989;Zbl 0683.68018) 全文: 内政部
安德烈·阿诺德 定点的逻辑可定义性。 (英语) Zbl 0663.03024号 西奥。计算。科学。 61,编号2-3289-297(1988). 审核人:B.Wojdyło MSC公司:05年3月 03日70 08A99号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{A.Arnold},Theor。计算。科学。61,编号2-3289-297(1988年;Zbl 0663.03024) 全文: 内政部
小山口,美雄 地面术语识别系统的Church-Rosser属性是可判定的。 (英语) Zbl 0641.68044号 西奥。计算。科学。 49, 43-79 (1987). 审核人:J.兹拉图斯卡 MSC公司:68问题65 2005年5月20日 65年第68季度 68吨15 08A50号 20立方米 PDF格式BibTeX公司 XML格式引用 \文本{M.Oyamaguchi},Theor。计算。科学。49、43--79(1987年;Zbl 0641.68044) 全文: 内政部
艾西克,佐尔坦;费伦茨·盖塞格 关于树自动机的表示。 (英语) Zbl 0637.68061号 西奥。计算。科学。 53, 243-255 (1987). 审核人:M.斯坦比 MSC公司:70年第68季度 08A99号 PDF格式BibTeX公司 XML格式引用 \textit{Z.esik}和\textit{F.Gécseg},Theor。计算。科学。53、243——255(1987年;Zbl 0637.68061) 全文: 内政部
亚历克斯·佩林;让·H·盖利尔。 建立精确的计算序列。 (英语) Zbl 0625.68026号 西奥。计算。科学。 53, 125-150 (1987).MSC公司:68问题65 08A50号 08年2月20日 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Pelin}和\textit{J.H.Gallier},Theor。计算。科学。53、125-150(1987年;Zbl 0625.68026) 全文: 内政部
Edouard G.贝拉加。 构造泛代数:导论。 (法语) Zbl 0625.08004号 西奥。计算。科学。 51, 229-238 (1987). 审核人:J.罗西克 MSC公司:08A55号 08A40号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Belaga},Theor(西奥)。计算。科学。51、229--238(1987年;Zbl 0625.08004) 全文: 内政部
科拉多·伯姆;亚历山德罗·贝拉杜奇 项代数上类型化Lambda程序的自动综合。 (英语) Zbl 0597.68017号 西奥。计算。科学。 39, 135-154 (1985). 审核人:C.马萨拉吉 MSC公司:68号01 03B40型 03D20日 08B20号 PDF格式BibTeX公司 XML格式引用 \textit{C.Böhm}和\textit{A.Berarducci},Theor。计算。科学。39、135——154(1985年;Zbl 0597.68017) 全文: 内政部
克里斯托弗·伯努瓦 公理化测试。 (法语) Zbl 0573.68004号 西奥。计算。科学。 35, 89-107 (1985). 审核人:S.布鲁姆 MSC公司:68问题65 68号01 08B05号 05年3月 2015年2月6日 PDF格式BibTeX公司 XML格式引用 \文本{C.Benoit},Theor。计算。科学。35、89——107(1985年;Zbl 0573.68004) 全文: 内政部
J.德梅尔。;德米洛娃,M。;V.库贝克。 在有限代数中构造最小子代数、同余和理想的快速算法。 (英语) Zbl 0568.08002号 西奥。计算。科学。 36, 203-216 (1985).MSC公司:08A30型 08-04 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Demel}等人,Theor。计算。科学。36、203--216(1985;Zbl 0568.08002) 全文: 内政部
阿达梅克,吉安尼;伊夫林·纳尔逊 独立连续代数。 (英语) Zbl 0534.08006号 西奥。计算。科学。 27, 225-231 (1983).MSC公司:08B20号 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.Adámek}和\textit{E.Nelson},Theor。计算。科学。27225-231(1983年;Zbl 0534.08006) 全文: 内政部
伊夫林·纳尔逊 迭代代数。 (英语) Zbl 0533.03014号 西奥。计算。科学。 25, 67-94 (1983). 审核人:G.马蒂森 MSC公司:05年3月 18立方厘米 08C05号机组 65年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \文本{E.Nelson},Theor。计算。科学。25、67-94(1983年;Zbl 0533.03014) 全文: 内政部
丹尼尔·莱曼;安娜·帕兹托 Epis不需要很密集。 (英语) Zbl 0496.06002号 西奥。计算。科学。 17, 151-161 (1982).MSC公司:06年06月06日 18A20型 08A55号 18B35型 PDF格式BibTeX公司 XML格式引用 \textit{D.Lehmann}和\textit{A.Pasztor},Theor。计算。科学。17,151--161(1982;Zbl 0496.06002) 全文: 内政部
伯纳德·霍奇森。 关于自动机可判定理论的直积。 (英语) Zbl 0493.0302号 西奥。计算。科学。 19, 331-335 (1982).MSC公司:03B25号 05年3月 08A05号 PDF格式BibTeX公司 XML格式引用 \文本{B.R.Hodgson},Theor。计算。科学。19、331--335(1982;Zbl 0493.0302) 全文: 内政部 反向链接: 卫生官员
伊斯特万·内梅蒂 由可表示动态代数生成的簇中的每个自由代数都是可分离和可表示的。 (英语) Zbl 0491.08012号 西奥。计算。科学。 17, 343-347 (1982).MSC公司:08B20号 03G25号 08A05号 08C15号 PDF格式BibTeX公司 XML格式引用 \文本{I.Nemeti},Theor。计算。科学。17、343--347(1982;Zbl 0491.08012) 全文: 内政部
A.阿诺德。;M.多切特。 Morphismes et bimorphimes d’arbres(形态与双形态)。 (法语) Zbl 0486.68072号 西奥。计算。科学。 20, 33-93 (1982).MSC公司:65年第68季度 05二氧化碳 08A99号 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}和\textit{M.Dauchet},Theor。计算。科学。20、33——93(1982;Zbl 0486.68072) 全文: 内政部
J·伯斯特尔。;C·鲁特瑙尔。 树上可识别的形式幂级数。 (英语) Zbl 0485.68077号 西奥。计算。科学。 18, 115-148 (1982).MSC公司:65年第68季度 05二氧化碳 08B20号 PDF格式BibTeX公司 XML格式引用 \textit{J.Berstel}和\textit{C.Reutenauer},Theor。计算。科学。18、115——148(1982;Zbl 0485.68077) 全文: 内政部
Callegarin,G。;G.帕西尼。 关于等式定义数据抽象的可实现性和威力。 (英语) Zbl 0472.68011号 西奥。计算。科学。 14, 305-315 (1981).MSC公司:68第05页 08A99号 PDF格式BibTeX公司 XML格式引用 \textit{G.Callegarin}和\textit{G.Pacini},Theor。计算。科学。14、305-315(1981年;Zbl 0472.68011) 全文: 内政部
Beynon,W.M。 关于自由有限状态机的结构。 (英语) Zbl 0433.68048号 西奥。计算。科学。 11, 167-180 (1980).MSC公司:70年第68季度 08A99号 20立方米 PDF格式BibTeX公司 XML格式引用 \文本{W.M.Beynon},Theor。计算。科学。11、167--180(1980;Zbl 0433.68048) 全文: 内政部 链接