卢卡·博托卢西;阿尔贝托,Policriti (混合)自动机和(随机)程序。随机程序的混合自动机格。 (英语) Zbl 1272.68289号 J.日志。计算。 23,第4期,761-798(2013).MSC公司:68问题85 68甲19 68号30 65年第68季度 87年第68季度 92立方厘米 93A30型 PDF格式BibTeX公司 XML格式引用 \textit{L.Bortolussi}和\textit{A.Policriti},J.Log。计算。23,第4号,761--798(2013;Zbl 1272.68289) 全文: 内政部 链接
托马斯·施图德 (\lambda_{str}^{{\,}}\)的语义:带有重载和延迟绑定的演算。 (英语) Zbl 1010.68032号 J.日志。计算。 11,第4期,527-544(2001).MSC公司:68甲18 03B40型 PDF格式BibTeX公司 XML格式引用 \textit{T.Studer},J.Log。计算。11,第4号,527--544(2001;Zbl 1010.68032) 全文: 内政部 链接
五月,沃尔夫冈;保尔·托马斯·坎季亚 面向对象演绎数据库语言中的非单调继承。 (英语) Zbl 1010.68060号 J.日志。计算。 11,第4499-525号(2001年).MSC公司:第68页,共15页 68T27型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.May}和\textit{P.-T.Kandzia},J.Log。计算。11,第4号,499--525(2001;Zbl 1010.68060) 全文: 内政部
米歇尔·布格列西;乔治·德尔扎诺;路易吉·利科里;Maurizio Martelli 线性逻辑中的对象演算。 (英语) Zbl 0955.68025号 J.日志。计算。 10,第1期,75-104(2000).MSC公司:68甲19 03B70型 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bugliesi}等人,J.Log。计算。10,编号1,75--104(2000;Zbl 0955.68025) 全文: 内政部 哈尔
北卡罗来纳州塞拉利昂。;鲁洛,P。 带集合的有序逻辑编程。 (英语) Zbl 0802.68025号 J.日志。计算。 3,第6号,621-642(1993).MSC公司:68N17号 68号01 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{N.Leone}和\textit{P.Rullo},J.Log。计算。3,第6号,621--642(1993;Zbl 0802.68025) 全文: 内政部
莱恩斯,E。;D.弗梅尔。 有序逻辑的定点语义。 (英语) Zbl 0723.68068号 J.日志。计算。 第1卷第2期,159-185页(1990年).MSC公司:68问题55 68甲15 68号01 PDF格式BibTeX公司 XML格式引用 \textit{E.Laenens}和\textit{D.Vermeir},J.Log。计算。1,第2号,159--185(1990;Zbl 0723.68068) 全文: 内政部