沃尔克·迪克特;安卡·穆斯科尔 用于无限跟踪的确定性异步自动机。 (英语) Zbl 0818.68100号 学报信息。 31,第4号,379-397(1994). 审核人:V.迪克特 MSC公司:65年第68季度 70年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Diekert}和\textit{A.Muscholl},《学报参考》31,第4期,379--397(1994;Zbl 0818.68100) 全文: DOI程序
约斯特·恩格尔弗里特;琳达·海克;乔治·雷 有界度的无上下文图语言是由顶点图文法生成的。 (英语) Zbl 0818.68102号 学报信息。 31,第4号,341-378(1994). 审核人:J.恩格尔弗里特 MSC公司:2012年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人,《学报参考》31,第4期,341--378(1994;Zbl 0818.68102) 全文: DOI程序
卡尔·梅恩克 本原递归的递归二阶初始代数规范。 (英语) Zbl 0818.68113号 学报信息。 31,第4号,329-340(1994). 审核人:K.Meinke公司 MSC公司:第68季度第65季度 08A70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Meinke},《学报信息》31,第4期,329--340(1994;Zbl 0818.68113) 全文: DOI程序
奥斯卡·H·伊巴拉。;Trán,Nicholas Q。 关于通信边界同步交替有限自动机。 (英语) Zbl 0818.68071号 学报信息。 31,4号,315-327(1994). 审核人:O.H.伊巴拉 MSC公司:2005年第68季度 2015年第68季度 65年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.H.Ibarra}和\textit{N.Q.TráN},《学报》第31期,第4期,315--327(1994;Zbl 0818.68071) 全文: DOI程序
Jyrki Katajainen;托米·帕萨南 在最小空间内对多个集合进行稳定排序。 (英语) Zbl 0818.68066号 学报信息。 31,第4号,301-313(1994). 审核人:J.Katajainen先生 MSC公司:68页第10页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Katajainen}和\textit{T.Pasanen},《学报年鉴》31,第4期,301-313(1994;Zbl 0818.68066) 全文: DOI程序