最好的,艾克;雷蒙德·魔鬼队 Petri网理论中的顺序和并发行为。 (英语) Zbl 0669.68043号 西奥。计算。科学。 55, 87-136 (1987). 审核人:H.保险丝 MSC公司:68问题85 68问题65 06年06月06日 93A10号 94甲15 PDF格式BibTeX公司 XML格式引用 \textit{E.Best}和\textit{R.Devillers},Theor。计算。科学。55、87--136(1987年;Zbl 0669.68043) 全文: 内政部
克劳斯·瓦格纳。 关于极大值和极小值的更复杂问题,以及NP的一些闭包。 (英语) Zbl 0653.03027号 西奥。计算。科学。 51, 53-80 (1987).MSC公司:2015年3月1日 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.W.Wagner},Theor(西奥)。计算。科学。51、53--80(1987年;Zbl 0653.03027) 全文: 内政部
Balcázar,J.L。;迪亚斯,J。;Gabarró,J。 关于PSPACE/poly类的特征。 (英语) Zbl 0652.68060号 西奥。计算。科学。 52251-267(1987年). 审核人:M.Chytil先生 MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.L.Balcázar}等人,Theor。计算。科学。52、251--267(1987年;Zbl 0652.68060) 全文: 内政部
库塞尔,B。 无上下文重写的公理化定义及其在NLC图文法中的应用。 (英语) Zbl 0644.68095号 西奥。计算。科学。 55, 141-181 (1987). 审核人:A.V.阿尼西莫夫 MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{B.库塞尔},Theor。计算。科学。55、141--181(1987年;Zbl 0644.68095) 全文: 内政部
马西耶·李希基维奇;洛里·希·克日什托夫;马雷克·彼得罗 关于可逆有界交替图灵机。 (英语) Zbl 0643.68065号 西奥。计算。科学。 54, 331-339 (1987).MSC公司:2005年第68季度 65年第68季度 65年第68季度 2015年3月1日 03日第10天 PDF格式BibTeX公司 XML格式引用 \textit{M.Li sh kiewicz}等人,Theor。计算。科学。54、331--339(1987年;Zbl 0643.68065) 全文: 内政部
普里塞·卢茨;拉尔夫·雷曼;乌韦州威利克-克莱姆 公平规则理论简介。 (英语) Zbl 0643.68025号 西奥。计算。科学。 54, 139-163 (1987).MSC公司:第68页第25页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Priese}等人,Theor。计算。科学。54、139--163(1987年;Zbl 0643.68025) 全文: 内政部
Ştefănescu,Gh。 关于流程图理论。二: 不确定性情况。 (英语) Zbl 0642.68020号 西奥。计算。科学。 52307-340(1987年). 审核人:S.布鲁姆 MSC公司:60年第68季度 18立方厘米 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Gh.ötefnescu},Theor(提奥)。计算。科学。52、307--340(1987年;Zbl 0642.68020) 全文: 内政部
马克斯·加森 循环自动机。 (英语) Zbl 0641.68116号 西奥。计算。科学。 53, 307-317 (1987). 审核人:G.斯拉茨基 MSC公司:65年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \文本{M.Garzon},Theor。计算。科学。53、307--317(1987年;Zbl 0641.68116) 全文: 内政部
乔夫罗伊·博基尔;弗朗索瓦斯·吉尔 未注明银行业监管局。(关于无上下文生成器的特征定理的注记)。 (法语) Zbl 0641.68114号 西奥。计算。科学。 51, 117-127 (1987).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Beauquier}和\textit{F.Gire},Theor。计算。科学。51117-127(1987年;Zbl 0641.68114) 全文: 内政部
弗朗茨·约瑟夫勃兰登堡 用同态相等运算和广义相等集表示语系。 (英语) Zbl 0638.68069号 西奥。计算。科学。 55, 183-263 (1987). 审核人:M.阿姆布鲁斯特 MSC公司:65年第68季度 20立方米 03日第10天 PDF格式BibTeX公司 XML格式引用 \文本{F.-J.Brandenburg},Theor。计算。科学。55、183--263(1987年;Zbl 0638.68069) 全文: 内政部
梅里格·贝农;巴克尔,约翰 关于布尔函数的平面单调计算。 (英语) Zbl 0637.94023号 西奥。计算。科学。 53, 267-279 (1987).MSC公司:94立方厘米 65年第68季度 03D60年 PDF格式BibTeX公司 XML格式引用 \textit{M.Beynon}和\textit{J.Buckle},Theor。计算。科学。53、267--279(1987年;Zbl 0637.94023) 全文: 内政部
J.A.伯格斯特拉。;J.V.塔克。 可计算和半可计算数据类型的代数规范。 (英语) Zbl 0637.68013号 西奥。计算。科学。 50, 137-181 (1987). 审核人:G.格里加斯 MSC公司:68号01 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.V.Tucker},Theor。计算。科学。50137--181(1987年;Zbl 0637.68013) 全文: 内政部
贝拉德,Béatrice 文字洗牌。 (英语) Zbl 0636.68103号 西奥。计算。科学。 51291-299(1987年).MSC公司:65年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \文本{B.Berard},Theor。计算。科学。51、291--299(1987年;Zbl 0636.68103) 全文: 内政部
费莱,G。 通过递归过程进行经典和增量属性评估。 (英语) Zbl 0635.68081号 西奥。计算。科学。 53, 25-65 (1987).MSC公司:65年第68季度 60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \文本{G.Filé},Theor。计算。科学。53、25-65(1987年;Zbl 0635.68081) 全文: 内政部
V.S.拉克希曼南。;维尼·马德哈万,C.E。 关系数据库中函数依赖和多值依赖的代数理论。 (英语) Zbl 0633.68007号 西奥。计算。科学。 54, 103-128 (1987).MSC公司:68第05页 68第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.S.Lakshmanan}和\textit{C.E.Veni Madhavan},Theor。计算。科学。54、103-128(1987年;Zbl 0633.68007) 全文: 内政部
约阿希姆·冯·祖尔·盖森 特殊素数的因式分解多项式和本原元。 (英语) Zbl 0633.12009 西奥。计算。科学。 第52页,第77-89页(1987年). 审核人:J.冯·祖尔·加滕 MSC公司:2006年11月 68瓦30 12-04 PDF格式BibTeX公司 XML格式引用 \文本{J.von zur Gatheren},Theor。计算。科学。52、77--89(1987年;Zbl 0633.12009) 全文: 内政部
罗德尼·W·托珀。 域依赖的公式和数据库。 (英语) Zbl 0627.68077号 西奥。计算。科学。 52, 281-306 (1987). 审核人:E.克努特 MSC公司:68第20页 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.W.Topor},Theor(西奥)。计算。科学。52、281--306(1987年;Zbl 0627.68077) 全文: 内政部
塞特,B。 LRR语法分析的Yacc扩展。 (英语) Zbl 0627.68070号 西奥。计算。科学。 52, 91-143 (1987).MSC公司:68N20型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{B.Seité},Theor。计算。科学。52、91——143(1987年;Zbl 0627.68070) 全文: 内政部
科林·斯特林 通信系统的模态逻辑。 (英语) Zbl 0624.68019号 西奥。计算。科学。 49, 311-347 (1987). 审核人:J.-J.Ch.梅耶 MSC公司:60年第68季度 第68页第25页 68问题65 PDF格式BibTeX公司 XML格式引用 \文本{C.斯特林},Theor。计算。科学。49311--347(1987年;Zbl 0624.68019) 全文: 内政部
德巴克尔,J.W。;梅耶,J.-J.Ch。;E.-R.奥尔德罗。 一致并发语义中的无限流和有限观察。 (英语) Zbl 0623.68016号 西奥。计算。科学。 49, 87-112 (1987).MSC公司:60年第68季度 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.W.de Bakker}等人,Theor。计算。科学。49、87——112(1987年;Zbl 0623.68016) 全文: 内政部 链接
巴顿,J.C.M。;J.A.伯格斯特拉。;Klop,J.W。 论库门公平抽象规则的一致性。 (英语) Zbl 0621.68010号 西奥。计算。科学。 51, 129-176 (1987).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人,Theor。计算。科学。51、129--176(1987年;Zbl 0621.68010) 全文: 内政部 链接
卢克·布热 具有同步通信的分布式系统中的重复快照及其在CSP中的实现。 (英语) Zbl 0617.68023号 西奥。计算。科学。 49, 145-169 (1987).MSC公司:第68页第25页 PDF格式BibTeX公司 XML格式引用 \文本{L.Bougé},Theor。计算。科学。49、145--169(1987年;Zbl 0617.68023) 全文: 内政部
普拉萨德·西斯特拉;莫舍·瓦尔迪。;皮埃尔·沃尔珀 Büchi自动机的互补问题及其在时间逻辑中的应用。 (英语) Zbl 0613.03015号 西奥。计算。科学。 49, 217-237 (1987).MSC公司:05年3月 03B70号 03B25号 68问题65 2015年3月1日 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.P.Sistla}等人,Theor。计算。科学。49、217--237(1987;Zbl 0613.03015) 全文: 内政部
菲利普·弗拉乔莱特 无语境语言的分析模型和歧义性。 (英语) Zbl 0612.68069号 西奥。计算。科学。 49, 283-309 (1987).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{P.Flajolet},Theor。计算。科学。49、283--309(1987年;Zbl 0612.68069) 全文: 内政部 链接