杰西,S。;皮奇奇尼,G。;北萨巴迪尼。 概率异步自动机。 (英语) Zbl 0840.68079号 数学。系统。理论 29,第1期,第5-31页(1996年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Jesi}等人,数学。系统。理论29,No.1,5--31(1996;Zbl 0840.68079) 全文: DOI程序
库塞尔,B。;Engelfriet,J。 由超边替换文法定义的超图集的逻辑特征。 (英语) Zbl 0830.68098号 数学。系统。理论 28,第6期,515-552(1995).MSC公司:68兰特 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle}和\textit{J.Engelfriet},数学。系统。理论28,第6号,515--552(1995;Zbl 0830.68098)
Wrathall,C。;V·迪克特。 关于单规则追踪-再写系统的融合。 (英语) Zbl 0837.68055号 数学。系统。理论 28,第4期,341-361(1995).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Wrathall}和\textit{V.Diekert},数学。系统。理论28,第4期,341--361(1995;Zbl 0837.68055) 全文: DOI程序
弗里德里希·奥托 对于有限个特殊的字符串重写系统,在给定同余类上确定合流的问题是容易处理的。 (英语) Zbl 0780.68080号 数学。系统。理论 25,第4期,241-251(1992).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Otto},数学。系统。理论25,第4期,241--251(1992;Zbl 0780.68080) 全文: DOI程序
格哈德·邦特洛克;该死,卡斯滕;乌尔里希赫特拉姆夫;克里斯托夫·梅内尔 logspace-MOD类的结构和重要性。 (英语) Zbl 0749.68033号 数学。系统。理论 25,第3期,223-237(1992).MSC公司:2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Buntrock}等人,《数学》。系统。理论25,第3期,223--237(1992;Zbl 0749.68033) 全文: DOI程序
朱拉吉·赫罗姆科维奇 关于没有神谕可以帮助解决的问题。 (英语) Zbl 0674.68031号 数学。系统。理论 24,第1期,第41-52页(1991年). 审核人:J.霍姆科维奇 MSC公司:2015年第68季度 68问题30 2005年第68季度 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{J.Hromkovič},数学。系统。理论24,第1号,41-52(1991;Zbl 0674.68031) 全文: DOI程序
布鲁诺·库塞尔 图的一元二阶逻辑。二: 宽度有界的无限图。 (英语) Zbl 0694.68043号 数学。系统。理论 21,第4期,187-221(1989). 审核人:S.布鲁姆 MSC公司:68兰特 03B15号机组 05C99年 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Courcelle},数学。系统。理论21,第4期,187--221(1989;Zbl 0694.68043) 全文: DOI程序
詹森,D。;G.罗森伯格。 演员文法。 (英语) Zbl 0677.68082号 数学。系统。理论 22,第2期,75-107(1989).MSC公司:65年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{D.Jannssens}和\textit{G.Rozenberg},数学。系统。理论22,第2期,75-107(1989年;Zbl 0677.68082) 全文: DOI程序
罗希特·帕里赫 拓扑在程序语义中的一些应用。 (英语) Zbl 0548.68011号 数学。系统。理论 16, 111-131 (1983).MSC公司:60年第68季度 2015年1月6日 06B30号 68问题65 06年06月06日 PDF格式BibTeX公司 XML格式引用 \textit{R.Parikh},数学。系统。理论16,111--131(1983;Zbl 0548.68011) 全文: DOI程序
艾琳·盖萨里安 下推树自动机。 (英语) Zbl 0524.68047号 数学。系统。理论 16,第4期,237-263(1983).MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Guessarian},数学。系统。理论16,237--263(1983;Zbl 0524.68047) 全文: DOI程序
大卫·本森。 在Scott-Strachey风格的指称语义中,并行意味着不确定性。 (英语) Zbl 0512.68009号 数学。系统。理论 15, 267-275 (1982).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Benson},数学。系统。理论15,267--275(1982;Zbl 0512.68009) 全文: DOI程序
H·A·莫勒。;A.萨洛马。;伍德,D。 语言的金融和无限解释。 (英语) Zbl 0508.68049号 数学。系统。理论 15, 251-265 (1982).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.A.Maurer}等人,《数学》。系统。理论15,251--265(1982;Zbl 0508.68049) 全文: DOI程序
弗朗西娜·伯曼 命题动态逻辑中循环程序的语义。 (英语) Zbl 0497.03012号 数学。系统。理论 15, 285-294 (1982).MSC公司:03B45 03C35号 68问题65 68号01 PDF格式BibTeX公司 XML格式引用 \textit{F.Berman},数学。系统。理论15,285--294(1982;Zbl 0497.03012) 全文: DOI程序
哈特穆特·埃里格;汉斯·乔尔格·克鲁斯基;安德烈亚·马吉奥洛·谢蒂尼;巴里·罗森。;乔泽夫·温科夫斯基 结构转换:代数方法。 (英语) 兹伯利0491.68035 数学。系统。理论 14, 305-334 (1981).MSC公司:68问题65 60年第68季度 65年第68季度 70年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{H.Ehrig}等人,数学。系统。理论14,305--334(1981;Zbl 0491.68035) 全文: DOI程序