阿尔特·卡奇,哈桑 一种用于寻找最小递归路径排序的算法。 (英语) Zbl 0578.68029号 RAIRO,Inf.Théor公司。 19, 359-382 (1985).MSC公司:68问题65 PDF格式BibTeX公司 XML格式引用 \textit{H.Ait-Kaci},RAIRO,Inf.Théor。19、359--382(1985年;Zbl 0578.68029) 全文: 欧洲DML
Kröger,F。 关于时态程序验证规则。 (英语) Zbl 0563.68007号 RAIRO,Inf.Théor公司。 19, 261-280 (1985).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Kröger},RAIRO,Inf.Théor。19、261--280(1985年;Zbl 0563.68007) 全文: 欧洲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
苏珊娜·格拉芙 论Lamport对线性时序逻辑和分支时序逻辑的比较。 (英语) Zbl 0551.68033号 RAIRO,Inf.Théor公司。 18, 345-353 (1984). 审核人:J.兹拉图斯卡 MSC公司:68问题65 60年第68季度 03B45号 第68页第25页 PDF格式BibTeX公司 XML格式引用 \textit{S.Graf},RAIRO,Inf.Théor。18、345--353(1984年;Zbl 0551.68033) 全文: 欧洲DML
迪科夫斯基,A.Ja。 一元递归方案的复杂性理论。 (英语) Zbl 0469.68050号 RAIRO,Inf.Théor公司。 15, 67-94 (1981).MSC公司:65年第68季度 60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Ja.Dikovskij},RAIRO,Inf.Théor(印度)。15、67-94(1981年;Zbl 0469.68050) 全文: 欧洲DML
恩贾尔伯特,P。 演绎系统是指程序的模式。二、。 (法语) Zbl 0464.68019号 RAIRO,Inf.Théor公司。 15, 3-21 (1981).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Enjalbert},RAIRO,Inf.Théor。15、3--21(1981年;Zbl 0464.68019) 全文: 欧洲DML
安德烈·阿诺德 传染过程信号。 (法语) Zbl 0463.68033号 RAIRO,Inf.Théor公司。 15, 103-139 (1981).MSC公司:第68页第25页 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold},RAIRO,Inf.Théor。15、103——139(1981年;Zbl 0463.68033) 全文: 欧洲DML
埃吉迪奥·阿斯泰西亚诺;杰拉尔多·科斯塔 非确定性和完全抽象模型。 (英语) Zbl 0463.03024号 RAIRO,Inf.Théor公司。 14, 323-347 (1980).MSC公司:03C99号 03B40型 68号01 60年第68季度 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}和\textit{G.Costa},RAIRO,Inf.Théor。14、323--347(1980;Zbl 0463.03024) 全文: 欧洲DML
恩贾尔伯特,P。 演绎系统是指程序的模式。 (法语) Zbl 0441.68007号 RAIRO,Inf.Théor公司。 14, 247-278 (1980).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Enjalbert},RAIRO,Inf.Théor(信息科技)。14、247--278(1980;Zbl 0441.68007) 全文: 欧洲DML
P·萨尔。 注意控制结构语义。 (法语) Zbl 0427.68027号 RAIRO,Inf.Théor公司。 13, 185-188 (1979).MSC公司:第68页第25页 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Salle},RAIRO,Inf.Théor。13185-188(1979年;兹bl 0427.68027) 全文: 欧洲DML
布鲁诺·库塞尔 Arbres infinis和systèmes d’équations。 (法语) Zbl 0406.68017号 RAIRO,Inf.Théor公司。 13, 31-48 (1979).MSC公司:60年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},RAIRO,Inf.Théor(信息科技)。13,31-48(1979年;兹bl 0406.68017) 全文: 欧洲DML
我,游击队员。 A·阿诺德(A.Arnold)提出的上诉语义建议。 (法语) Zbl 0392.68007号 RAIRO,Inf.Théor公司。 12, 287-289 (1978).MSC公司:60年第68季度 68号01 68问题65 PDF格式BibTeX公司 XML格式引用 \textit{I.Guessarian},RAIRO,Inf.Théor。12、287--289(1978年;Zbl 0392.68007) 全文: 欧洲DML