纳迪亚·皮桑蒂 DNA计算:一项调查。 (英语) Zbl 0897.68045号 牛市。EATCS公司 64, 188-216 (1998).MSC公司:2010年第68季度 68单位99 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{N.皮桑蒂},公牛。EATCS 64、188--216(1998年;Zbl 0897.68045)
爱荷华州托梅斯库 包含所有短因子的单词的阈值属性。 (英语) Zbl 0897.68080号 牛市。EATCS公司 64, 166-170 (1998).MSC公司:68兰特 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Tomescu},公牛。EATCS 64、166--170(1998年;Zbl 0897.68080)
卡洛斯·马丁·维德;亚历山德鲁·马特埃斯库;佩恩,古奥热 混合语法:Chomsky-Marcus案例。 (英语) Zbl 0898.68044号 牛市。EATCS公司 64, 159-165 (1998).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Martín-Vide}等人,公牛。EATCS 64、159--165(1998年;Zbl 0898.68044)
弗拉基克·克里诺维奇;卢克·朗普雷 人类视觉感知与科尔莫戈洛夫复杂性:再认识。 (英语) Zbl 0898.68038号 牛市。EATCS公司 64, 155-158 (1998).MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \textit{V.Kreinovich}和\textit{L.Longpré},公牛。EATCS 64、155--158(1998年;Zbl 0898.68038)
Juha Honkala 关于纤细的语言。 (英语) Zbl 0898.68042号 牛市。EATCS公司 64, 145-155 (1998).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Honkala},公牛。EATCS 64、145--155(1998年;Zbl 0898.68042)
阿拉斯代尔·厄克哈特 命题证明的复杂性。 (英语) Zbl 0912.03026号 牛市。EATCS公司 64, 128-138 (1998). 审核人:M.Armbrust(科伦) MSC公司:20层03 03B05号 2015年第68季度 03-02 2015年3月1日 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{A.Urquhart},公牛。EATCS 64,128--138(1998;Zbl 0912.03026)
伊贡博格尔;詹姆斯·哈金斯。 1988-1998年抽象状态机:评论ASM参考书目。 (英语) Zbl 0901.68130号 牛市。EATCS公司 64, 105-127 (1998).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Börger}和\textit{J.K.Huggins},公牛。EATCS 64、105--127(1998年;Zbl 0901.68130)
克莱门蒂(Andrea E.F.Clementi)。;JoséD.P.罗利姆。;卢卡·特雷维森 证明的最新进展(P=BPP\)。 (英语) Zbl 0898.68028号 牛市。EATCS公司 64, 96-103 (1998).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.E.F.Clementi}等人,公牛。EATCS 64、96--103(1998年;Zbl 0898.68028)
利索维克(Leonid P.Lisovik)。 不确定性系统和正则语言上的有限替换。 (英语) Zbl 0886.68089号 牛市。EATCS公司 63, 156-192 (1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.P.Lisovik},公牛。EATCS 63、156--192(1997;Zbl 0886.68089)
让·伯斯特尔;吕克·博阿松 林登的这组单词并不是上下文无关的。 (英语) Zbl 0888.68077号 牛市。EATCS公司 63, 139-140 (1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Berstel}和\textit{L.Boasson},公牛。EATCS 63、139--140(1997;Zbl 0888.68077)
康斯坦丁五世(Konstantin V.Archangelsky)。 常规语言的新表示。 (英语) Zbl 0900.68285号 牛市。EATCS公司 63, 135-138 (1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.V.Archangelsky},公牛。EATCS 63、135--138(1997;Zbl 0900.68285)
埃兹贝特·苏哈伊·瓦尔朱 语言处理器上的网络。 (英语) Zbl 0886.68088号 牛市。EATCS公司 63, 120-134 (1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Csuhaj-Varjú},公牛。EATCS 63、120--134(1997;Zbl 0886.68088)
尤里·古里维奇 从不变量到经典化。 (英语) Zbl 0886.68065号 牛市。EATCS公司 63, 115-119 (1997).MSC公司:2005年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich},公牛。EATCS 63、115--119(1997;Zbl 0886.68065)
伊迪丝·赫玛斯潘德拉;Hemaspandra,A巷。;哈拉尔德·亨佩尔 查询订单的介绍。 (英语) Zbl 0889.68061号 牛市。EATCS公司 63, 93-114 (1997).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Hemaspandra}等人,公牛。EATCS 63,93--114(1997;Zbl 0889.68061)
克里斯蒂安·卡鲁德。;彼得·赫特林。;巴哈迪尔·库萨诺夫 黎曼齐塔函数的零点是否构成随机序列? (英语) Zbl 0922.11073号 牛市。EATCS公司 62, 199-207 (1997). 审核人:E.Elizalde(巴塞罗那) MSC公司:11米26 11公里45 68问题30 11公里31 PDF格式BibTeX公司 XML格式引用 \textit{C.S.Calude}等人,公牛。EATCS 62、199--207(1997;Zbl 0922.11073)
露西恩·伊利 关于上下文语言的一些最新结果。 (英语) Zbl 0880.68079号 牛市。EATCS公司 62, 176-194 (1997).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Ilie},公牛。EATCS 62、176--194(1997;Zbl 0880.68079)
西尔文·波罗;道切特,马克斯;丹尼斯·波莫尔斯基 可计算图形的分形维数是其点的平均归一化复杂度。 (英语) 兹伯利0880.68065 牛市。EATCS公司 62, 216-221 (1997).MSC公司:68问题30 PDF格式BibTeX公司 XML格式引用 \textit{S.Porrot}等人,公牛。EATCS 62、216--221(1997;Zbl 0880.68065)
维克托·米特拉纳 关于语素和原始性的一些评论。 (英语) Zbl 0887.68062号 牛市。EATCS公司 62113-216(1997年).MSC公司:65年第68季度 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.米特拉纳},公牛。EATCS 62、213--216(1997;Zbl 0887.68062)
Chakaravarthy,Venkatesan T。;卡马拉·克里蒂瓦桑 关于半径为1的允许/禁止上下文的扩展H系统的注记。 (英语) Zbl 0887.68033号 牛市。EATCS公司 62, 208-212 (1997).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.T.Chakaravarthy}和\textit{K.Krithivasan},公牛。EATCS 62208--212(1997;Zbl 0887.68033)
阿萨特·阿尔斯兰诺夫 关于M.van Lambalgen的一个猜想。 (英语) Zbl 0880.68048号 牛市。EATCS公司 62, 195-198 (1997).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Arslanov},公牛。EATCS 62195--198(1997;Zbl 0880.68048)
瓦莱丽亚·米哈拉奇;阿托·萨洛马 Lindenmayer和DNA:Watson Crick D0L系统。 (英语) Zbl 0880.68075号 牛市。EATCS公司 62, 160-175 (1997).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Mihalache}和\textit{A.Salomaa},公牛。EATCS 62、160--175(1997;Zbl 0880.68075)
奥拉夫·伯卡特;哈维尔·埃斯帕尔扎 更多无限的结果。 (英语) Zbl 0887.68035号 牛市。EATCS公司 62, 138-159 (1997).MSC公司:2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Burkart}和\textit{J.Esparza},公牛。EATCS 62、138--159(1997;Zbl 0887.68035)
Väänänen,佐科 广义量词。 (英语) Zbl 0880.68061号 牛市。EATCS公司 62, 115-136 (1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Väänänen},公牛。EATCS 62、115--136(1997;Zbl 0880.68061)
埃里格·H·。;A.梅尔滕。;J.帕德伯格。 如何将抽象数据类型的概念转换为Petri网? (英语) Zbl 0880.68095号 牛市。EATCS公司 62, 106-114 (1997).MSC公司:68问题85 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}等人,公牛。EATCS 62、106--114(1997;Zbl 0880.68095)
迪特马尔·瓦特詹 \(k)有限的ED0L语言是上下文敏感的。 (英语) Zbl 0876.68069号 牛市。EATCS公司 61, 89-91 (1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Wätjen},公牛。EATCS 61,89--91(1997;Zbl 0876.68069)
佩恩,古奥热;加布里埃尔·蒂尔林 形态和原始性。 (英语) Zbl 0874.68174号 牛市。EATCS公司 61, 85-88 (1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pun}和\textit{G.Thierrin},公牛。EATCS 61,85--88(1997;Zbl 0874.68174)
瓦莱丽亚·米哈拉奇 接受带有终端派生的协作分布式语法系统。 (英语) Zbl 0876.68070号 牛市。EATCS公司 61, 80-84 (1997).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Mihalache},公牛。EATCS 61,80--84(1997;Zbl 0876.68070)
阿托·萨洛马 将单词、卡片的切割和密码协议结合起来。 (英语) Zbl 0866.68081号 牛市。EATCS公司 61, 59-71 (1997).MSC公司:68兰特 65年第68季度 68第25页 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa},公牛。EATCS 61、59--71(1997;Zbl 0866.68081)
哈特穆特·埃里格;沃尔夫冈·雷西格 Petri网的代数观点。 (英语) Zbl 0866.68070号 牛市。EATCS公司 61, 52-58 (1997).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{W.Reisig},公牛。EATCS 61、52--58(1997;Zbl 0866.68070)
艾纳尔史密斯 高级Petri网理论综述。 (英语) Zbl 0856.68109号 牛市。EATCS公司 59, 267-293 (1996).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Smith},公牛。EATCS 59,267--293(1996;Zbl 0856.68109)
罗伯特·斯泰西 Kolakoski序列中的结构。 (英语) Zbl 0856.68064号 牛市。EATCS公司 59, 173-182 (1996).MSC公司:2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Steacy},公牛。EATCS 59、173--182(1996年;Zbl 0856.68064)
米拉·卡德巴姆少校;马库斯·罗根巴赫 关于互模拟的两个不同特征。 (英语) Zbl 0856.68108号 牛市。EATCS公司 59, 164-172 (1996).MSC公司:68问题85 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{M.Majster-Cederbaum}和\textit{M.Roggenbach},公牛。EATCS 59164-172(1996年;Zbl 0856.68108)
Juha Honkala 关于具有交换变量的代数级数的等价问题。 (英语) Zbl 0856.68060号 牛市。EATCS公司 59, 157-162 (1996).MSC公司:2005年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Honkala},公牛。EATCS 59,157--162(1996;Zbl 0856.68060)
奥斯·杜兰·科尔姆 被视为自动机的分辨率证明。 (英语) Zbl 0856.68129号 牛市。EATCS公司 59, 153-156 (1996).MSC公司:68吨15 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Ox Dünlaing},公牛。EATCS 59,153--156(1996;Zbl 0856.68129)
斯蒂芬·布鲁姆。;佐尔坦·埃西克 星半环拟变数的两个公理化。 (英语) Zbl 0856.08009号 牛市。EATCS公司 59, 150-152 (1996).MSC公司:08C15号 2015年2月6日 08C10号 08A70型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom}和\textit{Z.Ei sik},公牛。EATCS 59、150--152(1996年;Zbl 0856.08009)
霍斯特·赖切尔 统一ADT和进化代数规范。 (英语) Zbl 0856.68099号 牛市。EATCS公司 59, 112-126 (1996).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Reichel},公牛。EATCS 59、112--126(1996年;Zbl 0856.68099)
拉尔夫·梅尔奇塞德奇;马库斯·戴宁格;安克·德拉帕;赫尔加·霍夫;斯特凡·克劳;李金华;Jochen Ludewig;帕特里夏·曼德尔·斯特里格尼茨 SESAM——基于图形语法的软件工程教育工具。 (英语) Zbl 1026.68515号 牛市。EATCS公司 198-221年第58期(1996年).MSC公司:68纳米99 2012年第68季度 97U70型 PDF格式BibTeX公司 XML格式引用 \textit{R.Melchisedech}等人,公牛。EATCS 58,198--221(1996;Zbl 1026.68515)
彼得·阿斯维尔德(Peter R.J.Asveld)。 关于模糊自动机、语法和语言的参考书目。 (英语) Zbl 1026.68500号 牛市。EATCS公司 58, 187-196 (1996).MSC公司:68-00 65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.R.J.Asveld},公牛。EATCS 58187--196(1996年;Zbl 1026.68500)
阿纳斯塔西亚·帕格诺尼 检测和纠正分布式系统的操作错误。 (英语) Zbl 1030.68531号 牛市。EATCS公司 58, 168-186 (1996).MSC公司:64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Pagnoni},公牛。EATCS 58、168--186(1996年;Zbl 1030.68531)
维克托·米特拉纳 分布式连接与洗牌。 (英语) 兹比尔1030.68555 牛市。EATCS公司 58, 163-167 (1996).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Mitrana},公牛。EATCS 58、163--167(1996年;Zbl 1030.68555)
亨宁费尔瑙 有序语言的闭包属性。 (英语) Zbl 1030.68554号 牛市。EATCS公司 58159-162(1996年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Fernau},公牛。EATCS 58、159--162(1996年;Zbl 1030.68554)
塞扎尔坎帕努 随机数为Borel法向。 (英语) Zbl 1030.68551号 牛市。EATCS公司 58, 155-158 (1996).MSC公司:68问题30 03天80 PDF格式BibTeX公司 XML格式引用 \textit{C.Cámpeanu},公牛。EATCS 58、155--158(1996年;Zbl 1030.68551)
亚历山德鲁·马特埃斯库;阿托·萨洛马 语言学观点。 (英语) Zbl 1026.68567号 牛市。EATCS公司 58, 148-154 (1996).MSC公司:65年第68季度 91层20 PDF格式BibTeX公司 XML格式引用 \textit{A.Mateescu}和\textit{A.Salomaa},公牛。EATCS 58、148--154(1996年;Zbl 1026.68567)
帕南加登,普拉卡什 并发理论对并行编程有什么要说的吗? (英语) Zbl 1026.68575号 牛市。EATCS公司 58, 140-147 (1996).MSC公司:68问题85 第68页第19页 PDF格式BibTeX公司 XML格式引用 \textit{P.Panangaden},公牛。EATCS 58、140--147(1996年;Zbl 1026.68575)
德克斯特·科赞 关于正则保持函数。 (英语) Zbl 1026.68573号 牛市。EATCS公司 58, 131-138 (1996).MSC公司:68问题85 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Kozen},公牛。EATCS 58、131--138(1996年;Zbl 1026.68573)
配件,梅尔文 计算Gödel-Löb不动点的程序。 (英语) Zbl 1028.03509号 牛市。EATCS公司 58, 118-130 (1996).MSC公司:03层45 03B45号 03-04 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.装配},公牛。EATCS 58、118--130(1996年;Zbl 1028.03509)
哈特穆特·埃里格;伯恩德·马赫 软件开发中的代数技术。回顾过去二十年的进展。 (英语) Zbl 1026.68570号 牛市。EATCS公司 58, 105-117 (1996).MSC公司:68问题65 68号30 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{B.Mahr},公牛。EATCS 58、105--117(1996年;Zbl 1026.68570)
弗莱明·尼尔森 LOMAPS公司。程序和系统分析中的逻辑和操作方法。 (英语) 兹比尔1030.68561 牛市。EATCS公司 58, 77-88 (1996).MSC公司:68问题55 第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \发短信{F.尼尔森},公牛。EATCS 58、77--88(1996年;Zbl 1030.68561)
珍妮·雅克·莱维;本特·汤姆森;莱思,孤独 Esprit基础研究行动6454-CONFER的第三年(最终)报告。CONcurrency和Functions:评估和缩减。 (英语) Zbl 1026.68574号 牛市。EATCS公司 58, 57-76 (1996).MSC公司:68问题85 68甲18 PDF格式BibTeX公司 XML格式引用 \textit{J.-J.Lévy}等人,公牛。EATCS 58、57--76(1996年;Zbl 1026.68574)
佩恩,古奥热 拼接计算:规则有多简单? (英语) Zbl 0866.68059号 牛市。EATCS公司 60, 145-150 (1996).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Pun},公牛。EATCS 60、145--150(1996年;Zbl 0866.68059)
约斯特·恩格尔弗里特 反向双连洗。 (英语) Zbl 0875.68588号 牛市。EATCS公司 60, 144 (1996).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet},公牛。EATCS 60、144(1996年;Zbl 0875.68588)
马乔·利普蓬恩;阿托·萨洛马 等式集合中的简单单词。 (英语) Zbl 0948.68517号 牛市。EATCS公司 60, 123-143 (1996).MSC公司:65年第68季度 03G20年 PDF格式BibTeX公司 XML格式引用 \textit{M.Lipponen}和\textit{A.Salomaa},公牛。EATCS 60,123--143(1996;Zbl 0948.68517)
哈特穆特·埃里格;乌韦·沃尔特 代数规范的影响和未来作用。 (英语) Zbl 0866.68065号 牛市。EATCS公司 60, 74-77 (1996).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{U.Wolter},公牛。EATCS 60、74--77(1996;Zbl 0866.68065)
斯沃齐尔,K。 量子计算和复杂性理论。一、。 (英语) Zbl 0823.03021号 牛市。EATCS公司 55, 170-207 (1995). 审核人:A.Dvurečenskij(布拉迪斯拉发) MSC公司:2015年3月1日 03G12号机组 2015年第68季度 81页第10页 81-04 94甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.Svozil},公牛。EATCS 55,170--207(1995;Zbl 0823.03021)
F.水牛。;德格利·安东尼。;A.马切斯。 定理证明中的OR并行:加速与超时。 (英语) Zbl 0818.68136号 牛市。EATCS公司 55, 158-169 (1995).MSC公司:68吨15 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Buffoli}等人,公牛。EATCS 55,158--169(1995;Zbl 0818.68136)
阿托·萨洛马 返回图案。 (英语) Zbl 0825.68442号 牛市。EATCS公司 55, 144-157 (1995).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa},公牛。EATCS 55、144--157(1995年;Zbl 0825.68442)
若阿希姆·帕罗 无同伦的并发。 (英语) Zbl 0939.68633号 牛市。EATCS公司 55, 140-143 (1995).MSC公司:2010年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{J.帕罗},公牛。EATCS 55、140--143(1995年;Zbl 0939.68633)
Hartmanis,法学家 计算的重量。 (英语) Zbl 0825.68389号 牛市。EATCS公司 55, 136-138 (1995).MSC公司:2015年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{J.Hartmanis},公牛。EATCS 55、136--138(1995年;Zbl 0825.68389)
尤里·古里维奇 可判定性的值(如果有)。 (英语) Zbl 0825.68377号 牛市。EATCS公司 55, 129-135 (1995).MSC公司:2005年第68季度 03日第10天 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Gurevich},公牛。EATCS 55、129--135(1995;Zbl 0825.68377)
马丁·格罗·罗德 动态抽象数据类型的转换规范。 (英语) Zbl 0818.68111号 牛市。EATCS公司 55, 121-128 (1995).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{M.Große-Rhode},公牛。EATCS 55、121--128(1995;Zbl 0818.68111)
弗莱德里克·盖尔茨 离散时间动力系统的层次,综述。 (英语) Zbl 1026.93501号 牛市。EATCS公司 57, 230-251 (1995).MSC公司:93A05型 65年第68季度 2005年第68季度 68克80 37B10号机组 37B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{F.Geurts},公牛。EATCS 57、230--251(1995年;Zbl 1026.93501)
丹尼·拉兹 上下文无关语言在内部和边界. (英语) Zbl 1030.68558号 牛市。EATCS公司 57, 219-221 (1995).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Raz},公牛。EATCS 57、219--221(1995年;Zbl 1030.68558)
塞勒斯·F·努拉尼。 人工代数。 (英语) Zbl 1030.68564号 牛市。EATCS公司 57215-218(1995年).MSC公司:70年第68季度 2012年第68季度 68T05型 PDF格式BibTeX公司 XML格式引用 \textit{C.F.Nourani},公牛。EATCS 57215-218(1995年;兹bl 1030.68564)
德格利·安东尼。;卡比安卡,D。;瓦卡里,M。;贝尼尼,M。;卡萨布兰卡,F。 客户端/服务器系统的线性度。 (英语) Zbl 1030.68515号 牛市。EATCS公司 57, 201-214 (1995).MSC公司:68M10个 64岁以下 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{G.Degli Antoni}等人,公牛。EATCS 57,201--214(1995;Zbl 1030.68515)
查廷·G·J·。;阿尔斯兰诺夫。;卡鲁德,C。 程序大小的复杂性计算暂停问题。 (英语) Zbl 1027.03512号 牛市。EATCS公司 57, 198-200 (1995).MSC公司:2015年3月1日 03日第10天 65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.J.Chaitin}等人,公牛。EATCS 57,198--200(1995;Zbl 1027.03512)
迈克尔·贝尔托尔;克劳斯·莱因哈特 有限集上的重言式是无上下文的。 (英语) Zbl 1030.68559号 牛市。EATCS公司 57, 196-197 (1995).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bertol}和\textit{K.Reinhardt},公牛。EATCS 57、196--197(1995年;Zbl 1030.68559)
佩恩,古奥热 拼接。形式语言理论家面临的挑战。 (英语) Zbl 1030.68560号 牛市。EATCS公司 57, 183-195 (1995).MSC公司:65年第68季度 92D20型 PDF格式BibTeX公司 XML格式引用 \textit{G.Pun},公牛。EATCS 57、183--195(1995年;Zbl 1030.68560)
曼纽尔·赫尔梅内吉尔多 ParForCE:并行FORmal计算环境。 (英语) Zbl 1030.68550号 牛市。EATCS公司 57, 96-113 (1995).MSC公司:19年第68季度 68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Hermenegildo},公牛。EATCS 57、96--113(1995年;Zbl 1030.68550)
哈特穆特·埃里格;加布里埃尔·坦泽尔 构图二:对研究目标和主要结果的调查。 (英语) Zbl 1030.68569号 牛市。EATCS公司 57, 85-95 (1995).MSC公司:68兰特 2012年第68季度 65年第68季度 第68季度第60季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{G.Taentzer},公牛。EATCS 57,85--95(1995;Zbl 1030.68569)
最好的,艾克;雷蒙德·魔鬼队;伊丽莎白·佩尔兹;阿伦德·伦辛克;曼纽尔·席尔瓦;恩里克·特鲁尔 加州-Esprit基础研究工作组60671992年7月24日至1995年7月23日。最终报告摘要。 (英语) Zbl 1026.68571号 牛市。EATCS公司 57, 80-84 (1995).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}等人,公牛。EATCS 57,80--84(1995;Zbl 1026.68571)
斯沃齐尔,K。 量子计算和复杂性理论。二、。 (英语) 兹比尔1030.68548 牛市。EATCS公司 56, 116-136 (1995).MSC公司:2005年第68季度 65年第68季度 81页68 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{K.Svozil},公牛。EATCS 56、116--136(1995年;Zbl 1030.68548) 全文: arXiv公司
米哈伊尔·莫什科夫 计算k值逻辑函数的确定性和非确定性非循环程序深度之间的关系。 (英语) 兹比尔1030.68549 牛市。EATCS公司 56, 106-111 (1995).MSC公司:2005年第68季度 2010年第68季度 03B50 94立方厘米 PDF格式BibTeX公司 XML格式引用 \textit{M.Moshkov},公牛。EATCS 56、106--111(1995年;Zbl 1030.68549)
亚历山大·梅杜纳 用分散上下文文法描述递归可枚举语言家族的一种简单方法。 (英语) Zbl 1030.68556号 牛市。EATCS公司 56, 104-106 (1995).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Meduna},公牛。EATCS 56、104--106(1995年;Zbl 1030.68556)
克莱夫·N·加利。 单函数最粗划分问题的时间线性代价下界。 (英语) Zbl 1030.68567号 牛市。EATCS公司 56, 97-104 (1995).MSC公司:68卢比 2017年第68季度 2005年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.N.Galley},公牛。EATCS 56、97--104(1995年;Zbl 1030.68567)
亨宁费尔瑙 用于分隔语言类的谓词。 (英语) 兹比尔1030.68557 牛市。EATCS公司 56, 96-97 (1995).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \发短信给公牛。EATCS 56、96--97(1995年;Zbl 1030.68557)
阿托·萨洛马 从帕里赫病媒到GO地区。 (英语) Zbl 1026.68568号 牛市。EATCS公司 第5689-95页(1995年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa},公牛。EATCS 56、89--95(1995年;Zbl 1026.68568)
彼得·扬查尔 所有基于行动的行为等价物对于标记的Petri网都是不可判定的。 (英语) Zbl 1026.68572号 牛市。EATCS公司 56, 86-88 (1995).MSC公司:68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.扬查尔},公牛。EATCS 56、86--88(1995年;Zbl 1026.68572)
哈特穆特·埃里格;汉斯·约尔格·克鲁斯基;费尔南多·奥雷贾斯 基于构造函数和抽象器的参数化实现概念实现的正确性。 (英语) Zbl 1026.68569号 牛市。EATCS公司 56, 79-85 (1995).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}等人,公牛。EATCS 56、79--85(1995年;Zbl 1026.68569)
赫尔穆特·普罗丁格 Knuth的旧账——一项调查。 (英语) Zbl 0938.68670号 牛市。EATCS公司 54, 232-245 (1994).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Prodinger},公牛。EATCS 54、232--245(1994;Zbl 0938.68670)
所罗门·马库斯;佩恩,古奥热 无限(几乎周期性)单词、形式语言和动力系统。 (英语) Zbl 0825.68388号 牛市。EATCS公司 54, 224-231 (1994).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.马库斯}和\textit{G.普恩},公牛。EATCS 54,224--231(1994;Zbl 0825.68388)
阿马尔·布瓦利;格内西、斯特凡尼亚;萨尔瓦多拉罗萨 杰克:只是另一个并发工具包。集成项目。 (英语) Zbl 0938.68717号 牛市。EATCS公司 54, 207-224 (1994).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouali}等人,公牛。EATCS 54、207--224(1994;Zbl 0938.68717)
阿托·萨洛马 模式。 (英语) Zbl 0825.68441号 牛市。EATCS公司 54, 194-206 (1994).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Salomaa},公牛。EATCS 54,194--206(1994;Zbl 0825.68441)
理查德·张 NP逼近问题和布尔层次复仇的机器模型。 (英语) Zbl 0825.68387号 牛市。EATCS公司 第54166至182页(1994年).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Chang},公牛。EATCS第54/166页-182页(1994年;兹bl 0825.68387)
销,Jean-Eric 文字上的逻辑。 (英语) Zbl 0819.68081号 牛市。EATCS公司 54, 145-165 (1994). 审核人:A.纳比宾(莫斯科) MSC公司:65年第68季度 05年3月 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.-E.Pin},公牛。EATCS 54、145--165(1994;Zbl 0819.68081)
哈特穆特·埃里格;朱莉娅·帕德伯格 链接代数高级网和动态抽象数据类型。 (英语) Zbl 0825.68450号 牛市。EATCS公司 54, 132-144 (1994).MSC公司:第68季度第60季度 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{J.Padberg},公牛。EATCS 54、132--144(1994;Zbl 0825.68450)
奥德·马勒;路德维希·施泰格 关于(ω)-语言的句法同余和(ω-自动机的最小化。 (英语) Zbl 0806.68066号 牛市。EATCS公司 53, 447-448 (1994). 审核人:L.Staiger(普尔海姆) MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Maler}和\textit{L.Staiger},公牛。EATCS 53、447--448(1994;Zbl 0806.68066)
哈特穆特·埃里格;费尔南多·奥雷贾斯 动态抽象数据类型:非正式建议。 (英语) Zbl 0810.68097号 牛市。EATCS公司 53162-169(1994年).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}和\textit{F.Orejas},公牛。EATCS 53162-169(1994年;兹bl 0810.68097)
范·格拉贝克,R.J。 什么是分支时间语义,为什么要使用它? (英语) Zbl 0810.68093号 牛市。EATCS公司 5191-198年(1994年).MSC公司:68问题55 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.J.van Glabbeek},公牛。EATCS 53、191--198(1994;Zbl 0810.68093)
埃兹贝特·苏哈伊·瓦尔朱;亚历山大·梅杜纳 带有上下文条件的语法。 (英语) Zbl 0846.68059号 牛市。EATCS公司 53, 199-212 (1994). 审核人:G.Asser(格雷夫斯瓦尔德) MSC公司:2012年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Csuhaj-Varjü}和\textit{A.Meduna},公牛。EATCS 53,199--212(1994;Zbl 0846.68059)
彼得·阿斯维尔德(Peter R.J.Asveld)。 Cocke-Younger-Kasami算法的另一种形式。 (英语) Zbl 0810.68091号 牛市。EATCS公司 53, 213-216 (1994).MSC公司:2012年第68季度 65年第68季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{P.R.J.Asveld},公牛。EATCS 53、213--216(1994;Zbl 0810.68091)
马乔·利普蓬恩 与PCP相关的原始单词和语言。 (英语) Zbl 0810.68090号 牛市。EATCS公司 53, 217-226 (1994).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lipponen},公牛。EATCS 53、217--226(1994;Zbl 0810.68090)
塞勒斯·F·努拉尼。 类型、归纳和不完全。 (英语) Zbl 0810.68075号 牛市。EATCS公司 53, 226-247 (1994).MSC公司:2005年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{C.F.Nourani},公牛。EATCS 53、226--247(1994;Zbl 0810.68075)
罗苏州格里戈 有序等式逻辑的制度。 (英语) Zbl 0798.03041号 牛市。EATCS公司 53, 250-255 (1994).MSC公司:03C95号 08B05号 03G30型 08A70型 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{R.Grigore},公牛。EATCS 53、250--255(1994;Zbl 0798.03041)
安东尼·卡雷尔·塞达 Kowalski-van-Emden定理的拓扑视图。 (英语) Zbl 0805.68080号 牛市。EATCS公司 53, 256-263 (1994). 审核人:A.K.Seda(科克) MSC公司:68问题55 68N17号 54小时99 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Seda},公牛。EATCS 53256-263(1994年;Zbl 0805.68080)
约阿希姆·斯坦巴赫 表示顺序的形式主义。 (英语) Zbl 0810.68086号 牛市。EATCS公司 53, 264-267 (1994).MSC公司:2012年第68季度 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{J.斯坦巴赫},公牛。EATCS 53、264--267(1994;Zbl 0810.68086)
耶约·奥拉莫;Jyrki Katajainen;朱哈尼·库马拉 找出并行随机存取机器中的最大值。 (英语) Zbl 0791.68069号 牛市。EATCS公司 52, 315-334 (1994).MSC公司:68宽15 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Y.Auramo}等人,公牛。EATCS 52、315--334(1994;Zbl 0791.68069)
安东尼·卡雷尔·塞达 一般拓扑在逻辑程序语义中的一些应用。 (英语) Zbl 0797.68102号 牛市。EATCS公司 52, 279-292 (1994). 审核人:A.K.Seda(科克) MSC公司:68问题55 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{A.K.Seda},公牛。EATCS 52、279--292(1994;Zbl 0797.68102)
伯恩哈德·格拉姆利希 关于基础充分的归纳原理的参数化版本的注释。 (英语) Zbl 0793.03058号 牛市。EATCS公司 52, 274-278 (1994).MSC公司:03财年03 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Gramlich},公牛。EATCS 52、274--278(1994;Zbl 0793.03058)
佩恩,古奥热 马库斯上下文语法。 (英语) 兹比尔0791.68095 牛市。EATCS公司 52, 263-273 (1994).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Păun},公牛。EATCS 52、263--273(1994;Zbl 0791.68095)
哈维尔·埃斯帕尔扎;尼尔森,莫根斯 Petri网的可判定性问题。 (英语) Zbl 0791.68123号 牛市。EATCS公司 52, 245-262 (1994).MSC公司:68问题85 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}和\textit{M.Nielsen},公牛。EATCS 52,245--262(1994;Zbl 0791.68123)