古尔德·杰伦 随机环境中的自动机。 (英语) Zbl 0546.68036号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 1015-1040 (1981).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.杰伦},安.社会数学。波兰。,序列号。四、 芬丹。Inf.4,1015--1040(1981;Zbl 0546.68036)
斯拉沃米尔·贾尼基 非齐次随机自动机。 (英语) Zbl 0528.68037号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 891-917 (1981).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Janicki},Ann.社会数学。政策。,序列号。四、 芬丹。Inf.4,891--917(1981;Zbl 0528.68037)
德克·弗梅尔;西·J·萨维奇。 关于下推自动机中的不确定性的数量。 (英语) Zbl 0528.68034号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 401-418 (1981).MSC公司:65年第68季度 2005年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Vermeir}和\textit{W.J.Savitch},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.4,401-418(1981;Zbl 0528.68034)
Jan A.Bergstra。;迈耶,J.Ch。 关于无量词逻辑片段的有效定义。 (英语) Zbl 0504.03021号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 4, 935-955 (1981).MSC公司:05年3月 03B99号 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.Ch.Meyer},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.4,935--955(1981;Zbl 0504.03021)
维克托·丹科 算法理论不可判定性的标准。 (英语) Zbl 0503.03006号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 605-628 (1981).MSC公司:03B60号 68纳米99 03C99号 PDF格式BibTeX公司 XML格式引用 \textit{W.Danko},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,605--628(1981;Zbl 0503.03006)
巴维尔·乌尔兹琴 抽象结构的算法琐碎。 (英语) Zbl 0501.03027号 安.社会.数学。波兰。,序列号。四、 芬丹。信息。 4, 819-849 (1981).MSC公司:03D45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Urzyczyn},安.社会数学。政策。,序列号。四、 芬丹。Inf.4819--849(1981;Zbl 0501.03027)
伯格斯特拉(Jan Bergstra);Jerzy Tiuryn 迭代代数的正则扩张和度量解释。 (英语) Zbl 0496.68056号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 999-1014 (1981).MSC公司:68问题55 99年6月 08A99年 54E40型 54E35个 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra}和\textit{J.Tiuryn},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.4,999--1014(1981;Zbl 0496.68056)
格拉兹纳·米尔考斯卡 PAL-命题算法逻辑。 (英语) Zbl 0494.68030号 安.社会.数学。政策。,序列号。IV、 芬达姆。信息。 4, 675-760 (1981).MSC公司:68问题65 03B60号 68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Mirkowska},Ann.社会数学。政策。,序列号。四、 芬丹。Inf.4,675--760(1981;Zbl 0494.68030)
安德烈·萨拉斯 具有递归函数的算法逻辑。 (英语) Zbl 0494.68029号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 975-995 (1981).MSC公司:68问题65 60年第68季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{A.Szalas},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.4,975--995(1981;Zbl 0494.68029)
拉斯·兹比格尼尤 信息检索系统,一种代数方法。二、。 (英语) Zbl 0493.68111号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 777-818 (1981).MSC公司:68第20页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ras},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.4,777--818(1981;Zbl 0493.68111)
拉斯·兹比格涅夫 信息检索系统,一种代数方法。一、。 (英语) Zbl 0493.68110号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 551-603 (1981).MSC公司:68第20页 PDF格式BibTeX公司 XML格式引用 \textit{Z.Ras},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.4,551--603(1981;Zbl 0493.68110)
Jerzy Tiuryn 无限树的幂集代数中的不动点。 (英语) Zbl 0492.08004号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 863-890 (1981).MSC公司:08A40号 05二氧化碳 68号01 99年6月 PDF格式BibTeX公司 XML格式引用 \textit{J.Tiuryn},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,863--890(1981;Zbl 0492.08004)
彼得·哈杰克;彼得·库卡 具有数组赋值的二阶动态逻辑。 (英语) Zbl 0491.68033号 安索克数学。政策。,序列号。四、 芬丹。信息。 4, 919-933 (1981).MSC公司:68问题65 03B45号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Hajek}和\textit{P.Kurka},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.4,919--933(1981;Zbl 0491.68033)
让·马塞尔·帕洛 分布岩浆中的文字问题。 (英语) Zbl 0489.68022号 安.社会.数学。波兰。,序列号。四、 芬丹。信息。 4, 957-973 (1981).MSC公司:68问题65 03D40号 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Pallo},安.社会数学。政策。,序列号。四、 芬丹。Inf.4957--973(1981;Zbl 0489.68022)
伯格斯特拉(Jan Bergstra);Jerzy Tiuryn 通过程序属性实现代数结构的隐式可定义性。 (英语) Zbl 0487.68017号 安索克数学。政策。,序列号。四、 芬丹。信息。 4, 661-674 (1981).MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra}和\textit{J.Tiuryn},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.4,661--674(1981;Zbl 0487.68017)
伯格斯特拉(Jan Bergstra) 代数结构的算法等级。 (英语) Zbl 0487.68012号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 851-861 (1981).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,851--861(1981;Zbl 0487.68012)
Henk J.M.戈曼。 仲裁器:用于实现同步原语的活动系统组件。 (英语) Zbl 0487.68008号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 517-530 (1981).MSC公司:68号01 PDF格式BibTeX公司 XML格式引用 \textit{H.J.M.Goeman},Ann.社会数学。政策。,序列号。四、 芬丹。第4517-530号补充文件(1981年;兹bl 0487.68008)
彼得·鲁德尼基;安德烈·特雷布利克 关于句法划分的备注。 (英语) Zbl 0486.68094号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 511-516 (1981).MSC公司:68T99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Rudnicki}和\textit{A.Trybulec},Ann.Soc.Math。政策。,序列号。四、 芬丹。第4511-516号补充文件(1981年;兹bl 04866.8094)
米克洛斯·斯齐亚托 描述并发系统行为的语言的分类和闭包属性。 (英语) Zbl 0486.68074号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 531-549 (1981).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Szijarto},Ann.Soc.数学。政策。,序列号。四、 芬丹。第4卷,531至549页(1981年;兹bl 04866.8074)
Jerzy Tiuryn 有效定义的逻辑。 (英语) Zbl 0486.68017号 安索克数学。政策。,序列号。四、 芬丹。信息。 4, 629-659 (1981).MSC公司:68问题65 60年第68季度 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Tiuryn},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,629--659(1981;Zbl 0486.68017)
米罗斯拉夫·诺沃特尼 关于通过信息系统定义的序列。 (英语) Zbl 0485.68098号 安.社会.数学。波兰。,序列号。四、 芬丹。信息。 4, 1041-1048 (1981).MSC公司:68第20页 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Novotny},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,1041--1048(1981;Zbl 0485.68098)
安东·尼霍尔特 对正规形式的调查涵盖了正规语法。 (英语) Zbl 0485.68061号 安.社会.数学。波兰。,序列号。四、 芬丹。信息。 4, 761-776 (1981).MSC公司:65年第68季度 68N20型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{A.Nijholt},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,761--776(1981;Zbl 0485.68061)
玛丽安·姆罗泽克 有限图的广义逆。 (英语) Zbl 0485.68053号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 499-509 (1981).MSC公司:68兰特 05C20号 PDF格式BibTeX公司 XML格式引用 \textit{M.Mrozek},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.4,499--509(1981;Zbl 0485.68053)
皮耶朗基罗·米利奥利;马里奥·奥尔纳吉 逻辑上合理的计算模型。二、。 (英语) Zbl 0483.68032号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 277-341 (1981).MSC公司:68问题65 68号01 03F99型 PDF格式BibTeX公司 XML格式引用 \textit{P.Miglioli}和\textit{M.Ornaghi},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.4,277--341(1981;Zbl 0483.68032)
沃伊切赫·普尔兹卢斯基 APC:算法谓词演算。 (英语) Zbl 0477.68033号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 343-367 (1981).MSC公司:68问题65 68号01 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{W.Przyluski},Ann.社会数学。政策。,序列号。四、 芬丹。Inf.4,343--367(1981;Zbl 0477.68033)
鲁霍宁(Ruohonen,Keijo) 关于Berstel和Nielsen方法的变体。 (英语) Zbl 0475.68044号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 369-400 (1981).MSC公司:65年第68季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Ruohonen},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,369--400(1981;Zbl 0475.68044)
托马斯·穆尔德纳 用于并行计算的某些工具的实现和属性。 (英语) Zbl 0474.68014号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 255-276 (1981).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Mueldner},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,255--276(1981;Zbl 0474.68014)
托马斯·穆尔德纳 关于并行程序的同步工具。 (英语) Zbl 0474.68013号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 495-133(1981年).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Mueldner},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,95--133(1981;Zbl 0474.68013)
托马斯·穆尔德纳 关于并行程序的编译。 (英语) Zbl 0474.68012号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 207-243年4月(1981年).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Mueldner},安.社会数学。波兰。,序列号。四、 芬丹。Inf.4,207--243(1981;Zbl 0474.68012)
托马斯·穆尔德纳 关于并行程序的语义。 (英语) Zbl 0474.68011号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 35-81 (1981).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Mueldner},安.社会数学。政策。,序列号。IV、 芬达姆。Inf.4,35--81(1981;Zbl 0474.68011)
克里斯蒂安·卡鲁德;盖奥盖·鲍恩 递归枚举语言的全局语法和语义。 (英语) Zbl 0473.68068号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 245-254 (1981).MSC公司:65年第68季度 03D25号 18日第10天 18对25 PDF格式BibTeX公司 XML格式引用 \textit{C.Calude}和\textit{G.Paun},Ann.Soc.Math。政策。,序列号。IV、 芬达姆。Inf.4,245--254(1981;Zbl 0473.68068)
皮耶朗基罗·米利奥利;马里奥·奥尔纳吉 一种逻辑上合理的计算模型。一、。 (英语) Zbl 0473.68017号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 151-172 (1981).MSC公司:68问题65 03F99型 68号01 PDF格式BibTeX公司 XML格式引用 \textit{P.Miglioli}和\textit{M.Ornaghi},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.4,151--172(1981;Zbl 0473.68017)
盖奥盖·鲍恩 关于从简单矩阵文法中消除lambda-rules。 (英语) Zbl 0472.68035号 安索克数学。政策。,序列号。四、 芬丹。信息。 4, 185-195 (1981).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Paun},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,185--195(1981;Zbl 0472.68035)
米罗斯瓦·特鲁什琴斯基 属性集最小化问题的算法方面。 (英语) Zbl 0468.68102号 安索克数学。政策。,序列号。四、 芬丹。信息。 4, 419-425 (1981).MSC公司:68第20页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Truszczynski},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,419--425(1981;Zbl 0468.68102)
简·格拉博夫斯基 关于部分语言。 (英语) Zbl 0468.68088号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 427-498 (1981).MSC公司:65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Grabowski},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,427--498(1981;Zbl 0468.68088)
文森佐·曼卡 计算形式主义:抽象组合观点和相关的一阶逻辑框架。 (英语) Zbl 0468.03026号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 3-18 (1981).MSC公司:03D75号 68问题65 03B40型 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{V.Manca},安.社会数学。政策。,序列号。四、 芬丹。第4、3至18页(1981年;兹bl 0468.03026)
里萨德·达内基 多正则和二进制ETOL系统。 (英语) Zbl 0467.68072号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 19-34 (1981).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Danecki},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,19--34(1981;Zbl 0467.68072)
J·阿尔伯特。;H·A·莫勒。;Th.Ottmann。 在次常规OL表格上。 (英语) Zbl 0467.68071号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 135-149 (1981).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Albert}等人,《社会数学》。政策。,序列号。IV、 芬达姆。Inf.4,135--149(1981;Zbl 0467.68071)
格列泽戈兹·罗森贝格;德克·弗梅尔 具有秩的ETOL语言的复制定理。 (英语) 兹伯利0467.68070 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 197-205 (1981).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Rozenberg}和\textit{D.Vermeir},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.4,197--205(1981;Zbl 0467.68070)
托马斯·费舍尔(Thomas R.M.Fischer)。 通用二进制搜索树。 (英语) Zbl 0467.68059号 安索克数学。政策。,序列号。四、 芬丹。信息。 4, 173-184 (1981).MSC公司:68页第10页 68第20页 94甲17 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{T.R.M.Fischer},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.4,173--184(1981;Zbl 0467.68059)
乔治·奥塞洛;亚历山德罗·达特里;马尔科·普罗塔西 NP-完全优化问题的格理论排序性质。 (英语) 兹伯利0467.68047 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4,83-94(1981年).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Ausiello}等人,Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.4,83--94(1981;Zbl 0467.68047)