Jürgensen,H。;M.昆泽。 Charakterisierung redundanzfrier Codes zur Datenverschlüsselung公司。 (德语) Zbl 0573.94003号 RAIRO,Inf.Théor公司。 18, 131-146 (1984).MSC公司:94A29号 94B40码 PDF格式BibTeX公司 XML格式引用 \textit{H.Jürgensen}和\textit{M.Kunze},RAIRO,Inf.Théor。18、131--146(1984年;Zbl 0573.94003) 全文: 欧洲DML
卡雷尔·库利克二世;阿托·萨洛马;伍德,德里克 收缩树受体。 (英语) Zbl 0571.68043号 RAIRO,Inf.Théor公司。 18, 53-69 (1984). 审核人:M.昆泽 MSC公司:65年第68季度 68问题80 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Culik II}等人,RAIRO,Inf.Théor。18、53-69(1984年;Zbl 0571.68043) 全文: 欧洲DML
Nait Abdallah,医学硕士。 数据类型作为算法。 (英语) Zbl 0569.68025号 RAIRO,Inf.Théor公司。 18, 3-22 (1984).MSC公司:68瓦99 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{M.A.Nait Abdallah},RAIRO,Inf.Théor(印度)。18、3--22(1984年;Zbl 0569.68025) 全文: 欧洲DML
路易斯·法利尼亚斯·德尔·塞罗 逻辑模型中的非原则性解决方案。 (法语) Zbl 0566.03007号 RAIRO,Inf.Théor公司。 18, 161-170 (1984). 审核人:C.马萨拉吉 MSC公司:03B35型 03B45 PDF格式BibTeX公司 XML格式引用 \textit{L.Fariñas del Cerro},RAIRO,Inf.Théor。18、161--170(1984年;Zbl 0566.03007) 全文: 欧洲DML
安德烈·埃伦菲赫特;戴维·豪斯勒;格列泽戈兹·罗森贝格 关于DOS系统中的模糊性。 (英语) 兹伯利0565.68068 RAIRO,Inf.Théor公司。 18, 279-295 (1984). 审核人:P.Jirků MSC公司:65年第68季度 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ehrenfeucht}等人,RAIRO,Inf.Théor。18、279--295(1984年;Zbl 0565.68068) 全文: 欧洲DML
库塞尔,B。;拉文迪尔,F。 Dédefinitions ré草书par cas。 (法语) Zbl 0562.68004号 RAIRO,Inf.Théor公司。 18, 91-129 (1984). 审核人:C.冷静 MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{F.Lavandier},RAIRO,Inf.Théor。18、91——129(1984年;Zbl 0562.68004) 全文: 欧洲DML
赫尔穆特·普罗丁格 分析一种构造斐波那契分区的算法。 (英语) Zbl 0562.05006号 RAIRO,Inf.Théor公司。 18, 387-394 (1984). 审核人:M.奶酪 MSC公司:17年5月 2015年1月5日 第11页81 PDF格式BibTeX公司 XML格式引用 \textit{H.Prodinger},RAIRO,Inf.Théor。18、387--394(1984年;Zbl 0562.0506) 全文: 欧洲DML
销,Jean-Eric 大家好。 (法语) Zbl 0559.68062号 RAIRO,Inf.Théor公司。 18, 23-46 (1984). 审核人:通用 MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{J.-E.Pin},RAIRO,Inf.Théor。18、23-46(1984年;Zbl 0559.68062) 全文: 欧洲DML
苏珊娜·格拉芙 论Lamport对线性时序逻辑和分支时序逻辑的比较。 (英语) Zbl 0551.68033号 RAIRO,Inf.Théor公司。 18, 345-353 (1984). 审核人:J.兹拉图斯卡 MSC公司:68问题65 60年第68季度 03B45 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf},RAIRO,Inf.Théor。18、345--353(1984年;Zbl 0551.68033) 全文: 欧洲DML
克里斯蒂安·赫斯佩尔 形式上的近似值与理性上的近似值相同。 (法语) 兹伯利0549.68052 RAIRO,Inf.Théor公司。 18, 241-258 (1984). 审核人:C.雷诺 MSC公司:70年第68季度 2016年10月 PDF格式BibTeX公司 XML格式引用 \textit{C.Hespel},RAIRO,Inf.Théor。18、241--258(1984年;Zbl 0549.68052) 全文: 欧洲DML
汉斯·尤根·斯坦格 NTIME(F)和NTIME的代数特征。 (英语) Zbl 0547.68080号 RAIRO,Inf.Théor公司。 18, 365-385 (1984).MSC公司:65年第68季度 65年第68季度 05年3月 03日第10天 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{H.-J.Stenger},RAIRO,Inf.Théor。18、365-385(1984年;Zbl 0547.68080) 全文: 欧洲DML
J.-M.奥特伯特。;博阿森,L。;Sénizergues,G。 父母语言、语言N.T.S.和同态反转。 (法语) Zbl 0547.68075号 RAIRO,Inf.Théor公司。 18, 327-344 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Autebert}等人,RAIRO,Inf.Théor。18、327--344(1984年;Zbl 0547.68075) 全文: 欧洲DML
布彻,W。;卡雷尔·库利克二世 关于实时和线性时间元胞自动机。 (英语) Zbl 0547.68050号 RAIRO,Inf.Théor公司。 18, 307-325 (1984).MSC公司:68问题80 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Bucher}和\textit{K.Choulik II},RAIRO,Inf.Théor。18、307--325(1984年;Zbl 0547.68050) 全文: 欧洲DML
让·弗朗松 登记处的名称是对表达算法的评估。 (法语) Zbl 0547.68041号 RAIRO,Inf.Théor公司。 18, 355-364 (1984).MSC公司:68瓦30 05二氧化碳 第11页55 11层37 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Françon},意大利铁路研究所,国际铁路研究所。18355-364(1984年;兹bl 0547.68041) 全文: 欧洲DML
Indermark公司,K。 有理模式的约简语义。 (英语) Zbl 0546.68018号 RAIRO,Inf.Théor公司。 18, 209-223 (1984).MSC公司:68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{K.Indermark},RAIRO,Inf.Théor。18、209--223(1984年;Zbl 0546.68018) 全文: 欧洲DML
克里斯蒂安·弗劳格尼 语法化简。 (法语) Zbl 0545.68071号 RAIRO,Inf.Théor公司。 18, 225-239 (1984).MSC公司:65年第68季度 20立方米 PDF格式BibTeX公司 XML格式引用 \textit{C.Frougny},RAIRO,Inf.Théor(信息字幕)。18、225--239(1984年;Zbl 0545.68071) 全文: 欧洲DML
阿波斯托利科,A。 在上下文受限的方块和字符串中重复。 (英语) Zbl 0543.68067号 RAIRO,Inf.Théor公司。 18, 147-158 (1984).MSC公司:68T99型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Apostolico},RAIRO,Inf.Théor。18、147--158(1984年;Zbl 0543.68067) 全文: 欧洲DML
彼得·巴克 一种快速避免死锁的方法。 (英语) Zbl 0543.68017号 RAIRO,Inf.Théor公司。 18, 71-80 (1984).MSC公司:68N25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Bak}、RAIRO、Inf.Théor。18,71-80(1984年;兹bl 0543.68017) 全文: 欧洲DML
尤尔根阿文豪斯;罗纳德·V·布克。;克雷格·斯奎尔(Craig C.Squier)。 关于用有限Church-Rosser表示表示交换性:关于交换幺半群的一个注记。 (英语) Zbl 0542.20038号 RAIRO,Inf.Théor公司。 18, 47-52 (1984). 审核人:D.B.McAlister先生 MSC公司:20个M10 2014年11月20日 PDF格式BibTeX公司 XML格式引用 \textit{J.Avenhaus}等人,RAIRO,Inf.Théor。18、47-52(1984年;Zbl 0542.20038) 全文: 欧洲DML
阿利文,H。 语言持续存在。 (英语) Zbl 0541.68050号 RAIRO,Inf.Théor公司。 18, 259-278 (1984).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Alaiwan},RAIRO,Inf.Théor。18、259--278(1984年;Zbl 0541.68050) 全文: 欧洲DML
Jouannaud,J.P。;H·基什内尔。 结构“un”加上“petit ordre de simplization”。 (英语) Zbl 0541.68013号 RAIRO,Inf.Théor公司。 18, 191-208 (1984).MSC公司:68问题65 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Jouannaud}和\textit{H.Kirchner},RAIRO,Inf.Théor。18、191--208(1984年;Zbl 0541.68013) 全文: 欧洲DML