基斯·A·米德尔堡。 时间帧中持续时间计算公式的真实性。 (英语) Zbl 0930.68089号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 36,第2-3、235-263号(1998年).MSC公司:60年第68季度 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{K.A.Middelburg},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.36,No.2--3,235-263(1998;Zbl 0930.68089)
迈克尔·勃兰特;弗里茨·亨利恩 递归类型相等和子类型的共同公理化。 (英语) 兹比尔0902.68105 安.社会.数学。政策。,序列号。四、 芬丹。信息。 33,第4号,309-338(1998).MSC公司:68甲18 03B40型 68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Brandt}和\textit{F.Henglein},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.33,No.4,309--338(1998;Zbl 0902.68105)
弗朗西斯·亚历山大;哈立德·比萨耶斯 一种构造逻辑程序的方法。 (英语) Zbl 0870.68037号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 29,第3期,203-223(1997).MSC公司:68N17号 PDF格式BibTeX公司 XML格式引用 \textit{F.Alexandre}和\textit{K.Bsaïes},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.29,No.3,203--223(1997;Zbl 0870.68037)
格拉兹纳·米尔考斯卡;安德烈·索尔维基 代数规范没有Tennebaum属性。 (英语) Zbl 0863.68091号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 28,编号1-2,141-152(1996).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Mirkowska}和\textit{A.Salwicki},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.28,No.1--2,141--152(1996;Zbl 0863.68091)
安妮卡·瓦格纳;马丁·果戈拉 通过属性图转换定义对象规范的操作行为。 (英语) Zbl 0854.68056号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 26,No.3-4,407-431(1996).MSC公司:2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Wagner}和\textit{M.Gogolla},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.26,No.3--4,407--431(1996;Zbl 0854.68056)
斯蒂芬斯(R.Stephens)。;汤普森,B.C。 笛卡尔流变换器组成。 (英语) 兹伯利0840.68073 安.社会.数学。政策。,序列号。四、 芬丹。信息。 25,第2期,123-174(1996).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Stephens}和\textit{B.C.Thompson},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.25,No.2,123--174(1996;Zbl 0840.68073)
英格·贝斯克;彼得·罗登堡 等式构造器归纳法。 (英语) Zbl 0840.68074号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 25,第1期,第1-15页(1996年).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Bethke}和\textit{P.Rodenburg},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.25,No.1,1-15(1996;Zbl 0840.68074)
简·马戈特 规范语言Estelle中定义的系统性能评估。 (英语) Zbl 0831.68065号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 24,第4期,333-357(1995).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Magott},安.社会数学。政策。,序列号。四、 芬丹。Inf.24,No.4,333--357(1995;Zbl 0831.68065)
巴特·雅各布斯 规范中的参数和参数化,使用分布式类别。 (英语) Zbl 0831.68064号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 24,第3期,209-250(1995).MSC公司:60年第68季度 18B20型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jacobs},安.社会数学。政策。,序列号。四、 芬丹。Inf.24,No.3,209--250(1995;Zbl 0831.68064)
戴夫·罗伯逊;贾姆·阿古斯蒂;简·赫斯基;约尔迪·利维 使用精化格表示程序需求。 (英语) Zbl 0819.68077号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 21,第3号,163-182(1994).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{D.Robertson}等人,Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.21,No.3,163--182(1994;Zbl 0819.68077)
Trakhtenbrot,学士。 过程网络的合成证明。 (英语) Zbl 0851.68072号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 20,编号1-3,231-275(1994). 审核人:G.乔巴努(伊阿什) MSC公司:60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.A.Trakhtenbrot},安.社会数学。政策。,序列号。四、 芬丹。Inf.20,No.1--3,231--275(1994;Zbl 0851.68072)
安德烈·比拉 检索系统和动态算法寻找程序定义的概念公理。 (英语) Zbl 0783.68077号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 19,第3-4号,275-301(1993). 审核人:A.比拉 MSC公司:60年第68季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{A.Biela},安.社会数学。政策。,序列号。四、 芬丹。Inf.19,No.3--4,275--301(1993;Zbl 0783.68077)
瓦尔省布雷祖·坦南;阿尔伯特·R·迈耶。 类型lambda演算中方程理论的保守性。 (英语) Zbl 0784.68057号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 19,编号1-2,1-49(1993). 审核人:R.David(香槟) MSC公司:第68季度第65季度 03B40型 68甲15 18立方厘米10 68瓦30 PDF格式BibTeX公司 XML格式引用 \textit{V.Breazu-Tannen}和\textit{A.R.Meyer},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.19,No.1--2,1--49(1993;Zbl 0784.68057)
埃吉迪奥·阿斯泰西亚诺;莫拉·塞里奥利 部分高阶规范。 (英语) 兹比尔0762.68046 安.社会.数学。政策。,序列号。四、 芬丹。信息。 16,第2期,101-126(1992).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Astesiano}和\textit{M.Cerioli},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.16,No.2,101--126(1992;Zbl 0762.68046)
马西耶·库特尼 公理系统由\(CTL^*\)逻辑诱导。 (英语) Zbl 0722.68078号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 第2期,第14期,第235-253页(1991年). 审核人:李翔(贵阳) MSC公司:60年第68季度 03B45号 03B70号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Koutny},Ann.社会数学。政策。,序列号。四、 芬丹。Inf.14,No.2,235--253(1991;Zbl 0722.68078)
弗雷德·克罗格;斯蒂芬·默兹 时序逻辑和递归。 (英语) Zbl 0717.68067号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 14,第2期,261-281(1991).MSC公司:60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{F.Kröger}和\textit{S.Merz},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.14,No.2,261--281(1991;Zbl 0717.68067)
沃尔德马尔·科钦斯基 一类Petri网的公理化特征。 (英语) Zbl 0753.68074号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 14,第4期,477-491(1991). 审核人:F.-L.Tiplea(拉什) MSC公司:68问题85 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Korczynski},安.社会数学。政策。,序列号。四、 芬丹。Inf.14,No.4,477--491(1991;Zbl 0753.68074)
比塔·科尼科夫斯卡;安德烈·塔莱基;安杰伊·布莱克尔 用于软件规范和验证的三值逻辑。 (英语) Zbl 0771.68087号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 14,第4期,411-453(1991).MSC公司:60年第68季度 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{B.Konikowska}等人,《社会数学年鉴》。政策。,序列号。四、 芬丹。Inf.14,No.4,411--453(1991;Zbl 0771.68087)
安杰伊·布莱克尔 用于软件规范和验证的三值谓词。 (英语) Zbl 0771.68086号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 14,第4期,387-410(1991).MSC公司:60年第68季度 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{A.Blikle},安.社会数学。政策。,序列号。四、 芬丹。Inf.14,No.4,387--410(1991;Zbl 0771.68086)
茅,S。;G.J.维尔廷克。 工艺规范形式。 (英语) Zbl 0705.68075号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 13,No.2,85-139(1990).MSC公司:60年第68季度 2010年第68季度 第68季度第65季度 68甲15 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mauw}和\textit{G.J.Veltink},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.13,No.2,85--139(1990;Zbl 0705.68075)
维吉尔·埃米尔·卡兹内斯库;tefénescu,Gheorghe 流程图方案理论的新代数基础。 (英语) Zbl 0705.68071号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 第171-210号第13页(1990年).MSC公司:60年第68季度 18日第10天 PDF格式BibTeX公司 XML格式引用 \textit{V.E.Cézénescu}和\textit{G.⁄teféneschu},Ann.Soc.数学。政策。,序列号。四、 芬丹。第13版,第2171-210号(1990年;兹bl 0705.68071)
拉吉夫·巴盖;马克·贝泽姆;范·埃姆登,M.H。 关于逻辑程序的向下闭包序数。 (英语) Zbl 0699.68104号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 13,No.1,67-83(1990).MSC公司:68问题55 第68页第15页 68兰特 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Bagai}等人,Ann.Soc.Math。政策。,序列号。四、 芬丹。第13版,第1期,67-83页(1990年;兹bl 0699.68104)
大卫·本森。 双代数:分布式和并发计算的一些基础。 (英语) Zbl 0689.18009号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 12,第4期,427-486(1989).MSC公司:18日第10天 68号01 68N25号 60年第68季度 03天80 PDF格式BibTeX公司 XML格式引用 \textit{D.B.Benson},Ann.社会数学。政策。,序列号。四、 芬丹。Inf.12,No.4,427--486(1989;Zbl 0689.18009)
阿尔贝托·佩特罗西;安德烈·斯科伦 用于程序派生的lambda抽象策略。 (英语) Zbl 0686.68014号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 12,第4期,541-561(1989). 审核人:D.鞑靼 MSC公司:60年第68季度 68号01 68瓦30 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi}和\textit{A.Skowron},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.12,No.4,541--561(1989;Zbl 0686.68014)
韦杰兰德,W.P。 同步进程的代数。 (英语) 兹伯利0683.68024 安.社会.数学。政策。,序列号。四、 芬丹。信息。 12,第2期,139-162(1989).MSC公司:68N25号 第68季度第65季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.P.Weijland},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.12,No.2,139--162(1989;Zbl 0683.68024)
巴顿,J.C.M。;范·格拉贝克,R.J。 过程代数中的抽象和空过程。 (英语) Zbl 0682.68024号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 第221-241号第12页(1989年).MSC公司:第68季度第65季度 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}和\textit{R.J.van Glabbeek},Ann.Soc.Math。政策。,序列号。四、 芬丹。第12版,第2221-241号(1989年;Zbl 0682.68024)
戴维·德·弗鲁托斯·埃斯克里格;克劳斯·英德马克 非确定性Ianov模式的等价关系。 (英语) Zbl 0679.68020号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 12,第3号,289-315(1989). 审核人:T.朱坎 MSC公司:60年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.De Frutos Escrig}和\textit{K.Indermark},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.12,No.3,289--315(1989;Zbl 0679.68020)
安德烈·萨拉斯;乌韦彼得曼 分布式系统的时态逻辑及其在中断通信进程中的应用。 (英语) Zbl 0679.03006号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 191-203年第2期第12页(1989年). 审核人:L.布里姆 MSC公司:03B70号 68N25号 60年第68季度 03B45号 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Szalas}和\textit{U.Petermann},Ann.Soc.Math。政策。,序列号。四、 芬丹。第12版,第2191-203号(1989年;Zbl 0679.03006)
约泽夫·温科夫斯基 分布式环境中通信过程的等价物。 (英语) Zbl 0674.68017号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 12,第1号,97-128(1989). 审核人:W.夸索维奇 MSC公司:68N25号 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski},Ann.社会数学。政策。,序列号。四、 芬丹。Inf.12,No.1,97--128(1989;Zbl 0674.68017)
沃伊切赫,彭泽克 事件结构的时态逻辑。 (英语) Zbl 0677.03012号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 11,第3期,297-326(1988). 审核人:C.Masalagiu MSC公司:03B45号 03B70号 68问题85 03C90号 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},安.社会数学。政策。,序列号。四、 芬丹。Inf.11,No.3,297--326(1988;Zbl 0677.03012)
A.拉比诺维奇。;Trakhtenbrot,学士。 行为结构和网络。 (英语) Zbl 0657.68068号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 11,第4期,357-404(1988).MSC公司:68问题85 68N25号 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Rabinovich}和\textit{B.A.Trakhtenbrot},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.11,No.4,357--404(1988;Zbl 0657.68068)
Boudol,热拉尔;伊利亚卡斯特拉尼 基于已证明的转换的CCS非交互语义。 (英语) Zbl 0657.68066号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 11,第4期,433-452(1988).MSC公司:68问题85 60年第68季度 第68季度第65季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{G.Boudol}和\textit{I.Castellani},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.11,No.4,433--452(1988;Zbl 0657.68066)
沃尔德马尔·科钦斯基 并发系统的代数特征。 (英语) Zbl 0651.68033号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 11,第2期,171-193(1988). 审核人:W.夸索维奇 MSC公司:第68季度第65季度 18立方厘米10 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.科尔琴斯基},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.11,No.2,171-193(1988;兹bl 0651.68033)
乔泽夫·温科夫斯基 通信过程的代数模型。 (英语) Zbl 0651.68032号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 11,第1号,65-116(1988). 审核人:W.夸索维奇 MSC公司:第68季度第65季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{J.Winkowski},Ann.社会数学。政策。,序列号。四、 芬丹。Inf.11,No.1,65--116(1988;Zbl 0651.68032)
配件,梅尔文 拓扑双参数上的逻辑编程。 (英语) Zbl 0647.68096号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 11,No.2,209-218(1988).MSC公司:第68页第15页 03B50号 60年第68季度 30楼06号 PDF格式BibTeX公司 XML格式引用 \textit{M.Fitting},安.社会数学。政策。,序列号。四、 芬丹。Inf.11,No.2,209--218(1988;Zbl 0647.68096)
巴维尔·乌尔兹琴 具有布尔存储器的程序逻辑。 (英语) Zbl 0632.68021号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 11,第1号,21-40(1988).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Urzyczyn},安.社会数学。政策。,序列号。四、 芬丹。Inf.11,No.1,21--40(1988;Zbl 0632.68021)
米切尔·旺德 类型推理的简单算法和证明。 (英语) Zbl 0645.03014号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 10, 115-121 (1987). 审核人:C.Masalagiu MSC公司:03B40型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wand},安.社会数学。政策。,序列号。四、 芬丹。第10115-121号补充文件(1987年;兹bl 0645.03014)
埃瓦州奥洛斯卡 数据库约束的代数方法。 (英语) Zbl 0643.68159号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 10, 57-68 (1987).MSC公司:68第20页 68第05页 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Orlowska},安.社会数学。政策。,序列号。四、 芬丹。Inf.10,57--68(1987;Zbl 0643.68159)
吉安卡洛·拉斐尔;沃伊切赫·莱特 非确定性递归程序到确定性高效程序的转换。 (英语) Zbl 0638.68020号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 10, 149-160 (1987).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Giancarlo}和\textit{W.Rytter},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.10,149--160(1987;Zbl 0638.68020)
Bergstra,简;Jerzy Tiuryn 队列的进程代数语义。 (英语) Zbl 0636.68025号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 10, 213-223 (1987). 审核人:G.M.品纳 MSC公司:68N25号 第68季度第65季度 68问题55 68平方米 PDF格式BibTeX公司 XML格式引用 \textit{J.Bergstra}和\textit{J.Tiuryn},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.10,213--223(1987;Zbl 0636.68025)
伊雷纳游击队 代数结构中的一些不动点技术及其在计算机科学中的应用。 (英语) Zbl 0634.68009号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 10, 387-413 (1987). 审核人:一、游击队员 MSC公司:60年第68季度 2012年1月6日 06年06月06日 54H25个 第68页第15页 68第20页 PDF格式BibTeX公司 XML格式引用 \textit{I.Guessarian},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.10,387--413(1987;Zbl 0634.68009)
A.J.Kfoury。;Urzyczyn,P。 并发程序方案。 (英语) Zbl 0629.68015号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 10337-361(1987年).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.J.Kfoury}和\textit{P.Urzyczyn},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.10,337--361(1987;Zbl 0629.68015)
巴维尔·乌尔兹琴 确定性无上下文动态逻辑比常规程序的确定性动态逻辑更具表现力。 (英语) Zbl 0628.03013号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 10, 123-141 (1987). 审核人:H.西村 MSC公司:03B70号 60年第68季度 第68季度第65季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Urzyczyn},安.社会数学。政策。,序列号。四、 芬丹。Inf.10,123--141(1987;Zbl 0628.03013)
乌多·凯尔特 并行程序模式中确定性的变体。 (英语) Zbl 0617.68015号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 10, 225-246 (1987).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{U.Kelter},安.社会数学。政策。,序列号。四、 芬丹。Inf.10,225--246(1987;Zbl 0617.68015)
格林·温斯克尔 具有模态断言的SCCS的完整证明系统。 (英语) Zbl 0636.68017号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 9, 401-419 (1986).MSC公司:60年第68季度 03B70号 68N25号 第68页第15页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{G.Winskel},安.社会数学。政策。,序列号。四、 芬丹。第9卷,401-419页(1986年;兹bl 0636.68017)
霍尔,C.A.R。;何继峰 最弱的预规范,第二部分。 (英语) Zbl 0627.68011号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 9, 217-251 (1986).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和textit{J.He},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.9,217--251(1986;Zbl 0627.68011)
巴顿,J.C.M。;J.A.伯格斯特拉。;Klop,J.W。 进程代数中中断机制的语法和定义公式。 (英语) Zbl 0617.68027号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 9, 127-167 (1986).MSC公司:68N25号 第68季度第65季度 第68季度第45季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{J.C.M.Baeten}等人,《社会数学》。政策。,序列号。四、 芬丹。Inf.9,127--167(1986;Zbl 0617.68027)
埃里克·瓦格纳。 代数理论、数据类型和控制结构。 (英语) Zbl 0617.68021号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 9, 343-370 (1986).MSC公司:68第05页 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{E.G.Wagner},安.社会数学。政策。,序列号。四、 芬丹。Inf.9,343--370(1986;Zbl 0617.68021)
霍尔,C.A.R。;何继峰 最弱的预规范。一、。 (英语) Zbl 0603.68009号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 9, 51-84 (1986).MSC公司:60年第68季度 68号01 68瓦99 PDF格式BibTeX公司 XML格式引用 \textit{C.A.R.Hoare}和textit{J.He},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.9,51--84(1986;Zbl 0603.68009)
伊多·大雁;大卫·哈雷 残酷的日程安排公平终止。 (英语) Zbl 0598.68026号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 9, 1-11 (1986).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Dayan}和\textit{D.Harel},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.9,1--11(1986;Zbl 0598.68026)
维克托丹科 程序的许多排序逻辑中的可公理化类。 (英语) Zbl 0596.03017号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 8, 269-283 (1985). 审核人:L.布里姆 MSC公司:03B60号 03B45号 第68季度第65季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.丹科},安.社会数学。政策。,序列号。四、 芬丹。Inf.8,269--283(1985;Zbl 0596.03017)
或者鄂尔多斯卡 信息系统的逻辑方法。 (英语) Zbl 0583.68052号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 8, 359-378 (1985). 审核人:E.克努特 MSC公司:68第20页 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Orłowska},Ann.Soc.Math(安·社会数学)。政策。,序列号。四、 芬丹。Inf.8,359--378(1985;Zbl 0583.68052)
安妮塔·瓦西列夫斯卡 一元二阶可定义性是有限自动机、某些类程序和逻辑的常见特征。 (英语) Zbl 0581.03006号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 8, 309-320 (1985).MSC公司:03B25号 05年3月 第68季度第65季度 03B35型 第68季度第45季度 60年第68季度 68瓦99 03B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{A.Wasilewska},安.社会数学。政策。,序列号。四、 芬丹。Inf.8,309--320(1985;Zbl 0581.03006)
马雷克·扎昂克 可在类型化\(\lambda \)-演算中定义的非确定性程序。 (英语) Zbl 0579.68022号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 8, 63-72 (1985).MSC公司:第68季度第65季度 03B40型 68号01 第68季度第45季度 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Zaionc},安.社会数学。政策。,序列号。四、 芬丹。Inf.8,63--72(1985;Zbl 0579.68022)
维克托丹科 由有限算法族的属性确定的结构。 (英语) Zbl 0576.68017号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 8, 163-197 (1985). 审核人:A.克雷茨马尔 MSC公司:第68季度第65季度 68瓦99 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{W.丹科},安.社会数学。政策。,序列号。四、 芬丹。Inf.8,163--197(1985;Zbl 0576.68017)
维克托丹科 具有堆栈的算法逻辑及其模型理论属性。 (英语) Zbl 0596.03016号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 391-428 (1984). 审核人:L.布里姆 MSC公司:03B60号 03B45号 第68季度第65季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.丹科},安.社会数学。政策。,序列号。四、 芬丹。Inf.7391--428(1984;Zbl 0596.03016)
格拉伊娜·米尔考斯卡 在PAL中无法表示的特定属性上。 (英语) Zbl 0589.68028号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 343-348 (1984). 审核人:L.布里姆 MSC公司:第68季度第65季度 03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{G.Mirkowska},Ann.社会数学。政策。,序列号。四、 芬丹。Inf.7,343--348(1984;Zbl 0589.68028)
拉德夫,斯拉夫人 形式语言的命题逻辑。 (英语) Zbl 0586.03011号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 447-482 (1984). 审核人:A.P.斯托尔布什金 MSC公司:03B45号 03C75号 第68季度第65季度 68号01 03F99型 PDF格式BibTeX公司 XML格式引用 \textit{S.Radev},Ann.社会数学。政策。,序列号。四、 芬丹。第7447-482号补充文件(1984年;兹bl 0586.03011)
什特·潘科娃,奥尔加;伊万·哈维尔。 机器人规划中的迭代。 (英语) Zbl 0581.68065号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 489-501 (1984).MSC公司:68T20型 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Štěpánková}和\textit{I.M.Havel},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.7,489--501(1984;Zbl 0581.68065)
或者鄂尔多斯卡 结构化状态的逻辑。 (英语) Zbl 0577.68048号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 349-355 (1984).MSC公司:第68季度第65季度 03B45号 68号01 PDF格式BibTeX公司 XML格式引用 \textit{E.Orłowska},Ann.Soc.Math(安·社会数学)。政策。,序列号。四、 芬丹。Inf.7,349--355(1984;Zbl 0577.68048)
路易斯·法里纳斯·德尔·塞罗 完全正确的模式。 (英语) 兹比尔0576.68008 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 301-310 (1984). 审核人:J.-J.Ch.梅耶 MSC公司:第68季度第65季度 60年第68季度 03B45号 第68页第15页 PDF格式BibTeX公司 XML格式引用 \textit{L.Farinas del Cerro},安.社会数学。政策。,序列号。四、 芬丹。Inf.7,301--310(1984;Zbl 0576.68008)
普留什凯维奇乌斯,团 关于函数动态逻辑的时序形式。 (英语) Zbl 0575.03012号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 357-358 (1984). 审核人:A.斯托尔布什金 MSC公司:03B45号 第68季度第65季度 60年第68季度 03B25号 03F99型 PDF格式BibTeX公司 XML格式引用 \textit{R.Pliuškevičius},《社会数学》。政策。,序列号。四、 芬丹。Inf.7,357--358(1984;Zbl 0575.03012)
帕特丽斯·恩贾尔伯特 \(ω)-代数语义、不动点语义和算法逻辑之间关系的规则和连续性。 (英语) Zbl 0565.68030号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 281-300 (1984).MSC公司:第68季度第65季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Enjalbert},Ann.社会数学。政策。,序列号。四、 芬丹。信息7,281--300(1984;Zbl 0565.68030)
斯扎·阿斯(Szałas)、安德烈吉(Andrzej) 关于堆栈算法理论的应用。 (英语) Zbl 0564.68007号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 377-388 (1984).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Szałas},Ann.Soc.Math(安·社会数学)。政策。,序列号。四、 芬丹。Inf.7,377--388(1984;Zbl 0564.68007)
科斯塔斯斯坎达利斯 可编程实数和函数。 (英语) Zbl 0561.03023号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 27-56 (1984). 审核人:L.布里姆 MSC公司:03D20日 03层60 第68季度第65季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{K.Skandalis},安.社会数学。政策。,序列号。四、 芬丹。Inf.7,27--56(1984;Zbl 0561.03023)
卢卡·斯塔普 关于并行程序的P-范式。 (英语) Zbl 0559.68039号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 367-376 (1984).MSC公司:68N25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{L.Stapp},安.社会数学。政策。,序列号。四、 芬丹。Inf.7,367--376(1984;Zbl 0559.68039)
戴米特·斯科尔德夫 在迭代组合空间中证明程序某些性质的形式系统。 (英语) Zbl 0559.68019号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 359-365 (1984).MSC公司:60年第68季度 03D75号 99年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Skordev},安.社会数学。政策。,序列号。四、 芬丹。Inf.7,359--365(1984;Zbl 0559.68019)
约阿希姆·比斯库普 扩展关系代数,用于可能包含元组以及存在和通用空值的关系。 (英语) Zbl 0554.68069号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 7, 129-150 (1984).MSC公司:68第20页 68第05页 68吨99 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Biskup},安.社会数学。政策。,序列号。四、 芬丹。第7129-150号补充文件(1984年;兹bl 0554.68069)
捷克语、兹比格涅夫 关于到达定义问题的两种算法的最坏情况复杂度的比较。 (英语) Zbl 0546.68026号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 第7页,第57-76页(1984年).MSC公司:第68季度25 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{Z.捷克},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.7,57--76(1984;Zbl 0546.68026)
科斯塔斯斯坎达利斯 实数集和二阶递归的可编程性。 (英语) Zbl 0561.03022号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 6257-274(1983年). 审核人:L.布里姆 MSC公司:03D20日 03层60 第68季度第65季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{K.Skandalis},安.社会数学。政策。,序列号。四、 芬丹。Inf.6,257--274(1983;Zbl 0561.03022)
维克托丹科 算法理论的可解释性。 (英语) Zbl 0559.68048号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 6, 217-233 (1983). 审核人:A.克雷茨马尔 MSC公司:第68季度第65季度 60年第68季度 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{W.丹科},安.社会数学。政策。,序列号。四、 芬丹。Inf.6,217--233(1983;Zbl 0559.68048)
阿尔贝托·贝托尼;吉安卡洛·莫里;皮耶朗基罗·米利奥利 关于模型理论在指定抽象数据类型和捕获其递归性方面的威力。 (英语) Zbl 0529.68008号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 6, 127-170 (1983).MSC公司:68第05页 03C07号机组 03C57号 03G30型 PDF格式BibTeX公司 XML格式引用 \textit{A.Bertoni}等人,Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.6,127--170(1983;Zbl 0529.68008)
泽农·萨多夫斯基 关于并行程序和非确定性顺序程序之间的连接。 (英语) Zbl 0523.68018号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 6, 171-183 (1983).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{Z.Sadowski},Ann.社会数学。政策。,序列号。四、 芬丹。Inf.6,171--183(1983;Zbl 0523.68018)
Jan A.Bergstra。;John-Jules Ch.梅耶。 仅使用一元隐函数的有限极小unoid的等式规范。 (英语) Zbl 0548.68016号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 5143-170年(1982年). 审核人:B.马赫 MSC公司:68第05页 PDF格式BibTeX公司 XML格式引用 \textit{J.A.Bergstra}和\textit{J.-J.Ch.Meyer},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.5,143--170(1982;Zbl 0548.68016)
埃瓦州奥洛斯卡 动态信息系统。 (英语) Zbl 0525.68014号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 5, 101-118 (1982).MSC公司:第68季度第65季度 68第20页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Orlowska},安.社会数学。政策。,序列号。四、 芬丹。Inf.5,101--118(1982;Zbl 0525.68014)
阿尔贝托·佩特罗西 树重写系统、组合弱约简系统和无类型语言。 (英语) Zbl 0507.68047号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 5, 279-299 (1982).MSC公司:第68季度第45季度 03B40型 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pettorosi},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.5,279--299(1982;Zbl 0507.68047)
斯蒂芬·布鲁姆。 Elgot对一元计算的分析。 (英语) 兹比尔0504.68021 安.社会.数学。政策。,序列号。四、 芬丹。信息。 171-186年5月(1982年).MSC公司:第68季度第65季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{S.L.Bloom},Ann.社会数学。政策。,序列号。四、 芬丹。Inf.5,171--186(1982;Zbl 0504.68021)
道格拉斯·特罗格。 度量迭代理论。 (英语) 兹比尔0504.68020 安.社会.数学。政策。,序列号。四、 芬丹。信息。 5, 187-216 (1982).MSC公司:第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Troeger},安.社会数学。政策。,序列号。四、 芬丹。Inf.5,187--216(1982;Zbl 0504.68020)
巴维尔·乌尔兹琴 一个完整的一阶理论示例,其中所有模型的算法都很简单,但没有局部有限模型。 (英语) Zbl 0503.68014号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 5, 313-318 (1982).MSC公司:60年第68季度 68号01 03元50分 PDF格式BibTeX公司 XML格式引用 \textit{P.Urzyczyn},安.社会数学。政策。,序列号。四、 芬丹。Inf.5,313--318(1982;Zbl 0503.68014)
巴维尔·乌尔兹琴 关于带堆垛的流动式集装箱的展开。 (英语) Zbl 0501.68002号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 5, 119-126 (1982).MSC公司:60年第68季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{P.Urzyczyn},安.社会数学。政策。,序列号。四、 芬丹。Inf.5,119--126(1982;Zbl 0501.68002)
格拉兹纳·米尔考斯卡 PAL-命题算法逻辑。 (英语) Zbl 0494.68030号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 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},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,975--995(1981;Zbl 0494.68029)
彼得·哈杰克;彼得·库卡 具有数组赋值的二阶动态逻辑。 (英语) 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)
让·马塞尔·帕洛 分布岩浆中的文字问题。 (英语) 兹伯利0489.68022 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 957-973 (1981).MSC公司:第68季度第65季度 03D40号 68吨99 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Pallo},安.社会数学。政策。,序列号。四、 芬丹。Inf.4957--973(1981;Zbl 0489.68022)
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)
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)
米克洛斯·斯齐亚托 描述并发系统行为的语言的分类和闭包属性。 (英语) Zbl 0486.68074号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 531-549 (1981).MSC公司:第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Szijarto},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.4,531--549(1981;Zbl 0486.68074)
Jerzy Tiuryn 有效定义的逻辑。 (英语) Zbl 0486.68017号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 629-659 (1981).MSC公司:第68季度第65季度 60年第68季度 03D45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Tiuryn},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.4,629--659(1981;Zbl 0486.68017)
皮耶朗基罗·米利奥利;马里奥·奥尔纳吉 逻辑上合理的计算模型。二、。 (英语) 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)
托马斯·穆尔德纳 用于并行计算的某些工具的实现和属性。 (英语) 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号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 95-133 (1981).MSC公司:60年第68季度 68N25号 PDF格式BibTeX公司 XML格式引用 \textit{T.Mueldner},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,95--133(1981;Zbl 0474.68013)
托马斯·穆尔德纳 关于并行程序的编译。 (英语) Zbl 0474.68012号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 207-243 (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},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,35--81(1981;Zbl 0474.68011)
皮耶朗基罗·米利奥利;马里奥·奥尔纳吉 逻辑上合理的计算模型。一、。 (英语) 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。政策。,序列号。四、 芬丹。第4151-172号补充文件(1981年;兹bl 0473.68017)
文森佐·曼卡 计算形式主义:抽象组合观点和相关的一阶逻辑框架。 (英语) Zbl 0468.03026号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 4, 3-18 (1981).MSC公司:03D75号 第68季度第65季度 03B40型 03D20日 PDF格式BibTeX公司 XML格式引用 \textit{V.Manca},安.社会数学。政策。,序列号。四、 芬丹。Inf.4,3--18(1981;Zbl 0468.03026)
费利佩·布拉乔 在\(P_\omega\)中连续生成的固定点。 (英语) Zbl 0458.68004号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 3, 477-489 (1980).MSC公司:60年第68季度 68问题55 99年第68季度 06B99号 2015年2月6日 PDF格式BibTeX公司 XML格式引用 \textit{F.Bracho},安.社会数学。政策。,序列号。四、 芬丹。Inf.3,477--489(1980;Zbl 0458.68004)
安德烈·阿诺德;莫里斯·尼瓦特 无限树的度量空间。代数和拓扑性质。 (英语) Zbl 0453.68021号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 3, 445-475 (1980).MSC公司:99年第68季度 60年第68季度 68问题55 54小时99 68号01 PDF格式BibTeX公司 XML格式引用 \textit{A.Arnold}和\textit{M.Nivat},Ann.Soc.Math。政策。,序列号。四、 芬丹。Inf.3,445--475(1980;Zbl 0453.68021)
维克托·丹科 算法逻辑中的可定义性。 (英语) Zbl 0453.03026号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 2, 277-287 (1979).MSC公司:03B60号 03C40 60年第68季度 68瓦99 第68季度第65季度 68号01 PDF格式BibTeX公司 XML格式引用 \textit{W.Danko},Ann.Soc.数学。政策。,序列号。四、 芬丹。Inf.2,277--287(1980;Zbl 0453.03026)
罗斯、特奥多尔 HAS层次结构;语言规范的自然工具。 (英语) Zbl 0452.68087号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 3, 269-293 (1980).MSC公司:68问题55 68N20型 第68季度第65季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Rus},安.社会数学。政策。,序列号。四、 芬丹。Inf.3,269--293(1980;Zbl 0452.68087)