×

找到64个文档（结果1-64）

最新的 引文 关联
弗兰克·勒克

抽象数据类型和时态逻辑：一种组合的规范方法。（Abstrakte Datentypen und temporale Logik:ein kombinierter Spezifikationsansatz。） （德语） Zbl 0862.68078号

亚琛：Verlag Shaker。慕尼黑：法国慕尼黑大学。数学。211 S.（1994）。
审核人：K.Schultz（Chemnitz）
MSC公司：68问题65 68-02 03B45号
PDF格式BibTeX公司 XML格式引用
\textit{F.Leßke}，Abstrakte Datentypen und temporale Logik:ein kombinieter Spezifikationsansatz，《抽象日期与时间逻辑》。亚琛：Verlag Shaker；慕尼黑：法国慕尼黑大学。数学。（1994年；Zbl 0862.68078）
Dov M.加巴伊。；伊恩·霍德金森；马克·雷诺兹

时间逻辑。第1卷。数学基础和计算方面。 （英语） Zbl 0921.03023号

牛津逻辑指南. 28. 牛津：克拉伦登出版社。xiv，653页（1994年）。
审核人：Neculai Curteanu（MR 95h:03040）
MSC公司：03B45号 2002年3月 03B70号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}等人，时间逻辑。第1卷。数学基础和计算方面。牛津：克拉伦登出版社（1994；Zbl 0921.03023）
伊奥内斯库，丹

使用时序逻辑模型优化离散事件系统的条件。 （英语） Zbl 0837.90116号

Cohen，Guy（编辑）等人，第11届系统分析和优化国际会议：离散事件系统。索菲亚·安蒂波利斯，法国，1994年6月15日至17日。柏林：Springer-Verlag。莱克特。票据控制信息科学。199, 93-100 (1994).
审核人：V.O.Groppen（弗拉迪考克斯）
MSC公司：90立方厘米 05C85号
PDF格式BibTeX公司 XML格式引用
\textit{D.Ionescu}，莱克特。票据控制信息科学。199，93--100（1994；Zbl 0837.90116）
莫瑟，L.E。；梅利亚·史密斯，P.M。；G.库蒂。；罗摩克里希纳。

时间逻辑公理化的完备性和稳健性。 （英语） Zbl 0816.03009号

安.社会.数学。政策。，序列号。四、 芬丹。信息。 21，第4期，257-305（1994）.
审核人：A.V.查格罗夫（Tver'）
MSC公司：03B45号
PDF格式BibTeX公司 XML格式引用
\textit{L.E.Moser}等人，Ann.Soc.Math。政策。，序列号。四、 芬丹。Inf.21，No.4，257--305（1994；Zbl 0816.03009）
阿德南·阿齐兹；Vigyan Singhal公司；费利斯·巴拉林；罗伯特·K·布雷顿。；Alberto L.Sangiovanni-Vincentelli。

公平克里普克结构的等效性。 （英语） Zbl 1418.68125号

Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。1994年7月11日至14日，以色列耶路撒冷，第21届国际学术讨论会，ICALP’94。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。820, 364-375 (1994).
MSC公司：第68季度第60季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{A.Aziz}等人，Lect。票据计算。科学。820364-375（1994年；Zbl 1418.68125）
全文： 内政部
菲克斯，利莫；弗雷德·施耐德。

通过开发环境来推理程序。 （英语） Zbl 1418.68054号

Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。第21届国际学术讨论会，ICALP’94，以色列耶路撒冷，1994年7月11日至14日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。820, 328-339 (1994).
MSC公司：68号30 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit｛L.Fix｝和\textit｛F.B.Schneider｝，Lect。票据计算。科学。820328-339（1994年；Zbl 1418.68054）
全文： 内政部 链接
帕罗什·阿齐兹·阿卜杜拉；本特·琼森

通道不可靠的程序存在无法确定的验证问题。 （英语） 兹比尔1418.68123

Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。1994年7月11日至14日，以色列耶路撒冷，第21届国际学术讨论会，ICALP’94。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。820, 316-327 (1994).
MSC公司：第68季度第60季度 03B44号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{P.A.Abdulla}和\textit{B.Jonsson}，莱克特。票据计算。科学。820316-327（1994年；Zbl 1418.68123）
全文： 内政部
采拉人、库尔利斯人

决定积分关系自动机的性质。 （英语） Zbl 1418.68126号

Abiteboul，Serge（编辑）等人，《自动化，语言和编程》。1994年7月11日至14日，以色列耶路撒冷，第21届国际学术讨论会，ICALP’94。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。820, 35-46 (1994).
MSC公司：第68季度第60季度 03B25号 03B44号 05年3月 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.采拉斯}，Lect。票据计算。科学。820、35-46（1994年；Zbl 1418.68126）
全文： 内政部
马丁·阿巴迪；莱斯利·兰波特

TLA中的开放系统。 （英语） Zbl 1374.68315号

第13届ACM分布式计算原理年度研讨会论文集，PODC'94，美国加利福尼亚州洛杉矶，1994年8月14日至17日。纽约州纽约市：计算机协会（ACM）（ISBN 0-89791-654-9）。81-90 (1994).
MSC公司：68问题85 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{M.Abadi}和\textit{L.Lamport}，in：第13届ACM分布式计算原理研讨会论文集，PODC’94，美国加利福尼亚州洛杉矶，1994年8月14-17日。纽约州纽约市：计算机协会（ACM）。81-90（1994年；Zbl 1374.68315）
全文： 内政部
Dov M.加巴伊。（编辑）；汉斯·奥巴赫（Hans J.Ohlbach）。（编辑）

时间逻辑。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。 （英语） 兹比尔0875.003007

计算机科学课堂讲稿人工智能课堂讲稿。柏林：斯普林格。xi，546 p.104.00马克；öS 811.20；sFr 104.00/sc（1994年）。
MSC公司：03-06 68-06 00B25型 03B45号 68T27型 68号01
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}（编辑）和textit{H.J.Ohlbach}（主编），时间逻辑。1994年7月11-14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：施普林格（1994；Zbl 0875.03007）
全文： 内政部
德斯瓦特，H.C.M。

逻辑：数学、语言、计算机科学和哲学。第2卷：逻辑与计算机科学。 （英语） Zbl 0805.03002号

法兰克福/M.：P.Lang，欧洲。维斯拉格。xii，337页（1994年）。
审核人：A.M.Coyne（阿什维尔）
MSC公司：03-01 68-01
PDF格式BibTeX公司 XML格式引用
\textit{H.C.M.deSwart}，逻辑：数学、语言、计算机科学和哲学。第2卷：逻辑与计算机科学。法兰克福/M.：P.Lang，欧洲。维斯拉格。（1994年；Zbl 0805.03002）
Dov M.加巴伊。（编辑）；C.J.霍格。（编辑）；罗宾逊，J.A。（编辑）；J.西克曼。（编辑）

人工智能和逻辑编程逻辑手册。第2卷：扣除方法。 （英语） Zbl 0810.68005号

牛津：克拉伦登出版社。xv，511 p.£55.00/hc（1994）。
审核人：J.Šajda（布拉迪斯拉发）
MSC公司：68-00 03-00 03B80号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{D.M.Gabbay}（编辑）等人，《人工智能和逻辑编程逻辑手册》。第2卷：扣除方法。牛津：克拉伦登出版社（1994；Zbl 0810.68005）
Engelfriet，J。；J.特雷尔。

推理的时间理论。 （英语） Zbl 0988.03513号

MacNish，Craig（编辑）等人，《人工智能中的逻辑》。1994年9月5日至8日，英国约克JELIA欧洲研讨会。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。838, 279-299 (1994).
MSC公司：03B44号 68T27型 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{J.Engelfriet}和\textit{J.Treur}，莱克特。票据计算。科学。838279--299（1994年；Zbl 0988.03513）
梅利亚·史密斯，P.M。；莫瑟，L.E。；罗马克里希纳，Y.S。；G.库蒂。；狄龙，L.K。

图形区间逻辑中的自动演绎系统。 （英语） 兹比尔0949.03503

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 540-542 (1994).
MSC公司：03B35型 03B44号 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛P.M.Melliar Smith｝等人，Lect。票据计算。科学。827540-542（1994年；Zbl 0949.03503）
哈恩勒，R。；O.伊本斯。

使用整数约束改进时序逻辑表。 （英语） Zbl 0949.03513号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 535-539 (1994).
MSC公司：03B44号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{R.Hähnle}和\textit{O.Ibens}，莱克特。票据计算。科学。827、535--539（1994年；Zbl 0949.03513）
穆罕默德·奥尔根（Mehmet A.Orgun）。；马万里

时序和模态逻辑编程概述。 （英语） Zbl 0949.68513号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 445-479 (1994).
MSC公司：68N17号 03B44号 03B45号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Orgun}和\textit{W.Ma}，莱克特。票据计算。科学。827445-479（1994年；Zbl 0949.68513）
H·麦奎尔。；Z.曼纳。；瓦尔丁格，R。

时态逻辑中基于注释的演绎。 （英语） Zbl 0949.03506号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 430-444 (1994).
MSC公司：03B44号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{H.McGuire}等人，Lect。票据计算。科学。827430--444（1994年；Zbl 0949.03506）
狄克逊，C。；M·费希尔。；H.巴林格。

时间逻辑中一种基于图的解析方法。 （英语） Zbl 0949.03505号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 415-429 (1994).
MSC公司：03B44号 03B35型
PDF格式BibTeX公司 XML格式引用
\textit{C.Dixon}等人，Lect。票据计算。科学。827415--429（1994年；Zbl 0949.03505）
Kwiatkowska，M。；D.贝利德。；彭泽克，W。

部分顺序时间属性的层次结构。 （英语） Zbl 0949.68537号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 398-414 (1994).
MSC公司：第68季度第60季度 68问题55 03B44号 65年第68季度 05年5月54日
PDF格式BibTeX公司 XML格式引用
\textit{M.Kwiatkowska}等人，Lect。票据计算。科学。827398-414（1994年；Zbl 0949.68537）
A.Mokkedem。；梅里·D·。

关于并发程序的模块化推理的断断续续的封闭时序逻辑。 （英语） Zbl 0949.03516号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 382-397 (1994).
MSC公司：03B44号 03B70号 第68季度第60季度 2010年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Mokkedem}和\textit{D.Méry}，莱克特。票据计算。科学。827382-397（1994年；Zbl 0949.03516）
费尔德，M。；A.Morzenti。

一种在定时Petri网中实现和细化的时间逻辑方法。 （英语） Zbl 0949.68543号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 365-381 (1994).
MSC公司：68问题85 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Felder}和\textit{A.Morzenti}，莱克特。票据计算。科学。827365-381（1994年；Zbl 0949.68543）
里贝罗，C。；波尔图，A。

时间推理中的诱拐。 （英语） Zbl 0949.68572号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 349-364 (1994).
MSC公司：68T27型 03B44号 68立方英尺
PDF格式BibTeX公司 XML格式引用
\textit{C.Ribeiro}和\textit{A.Porto}，莱克特。票据计算。科学。827349-364（1994年；Zbl 0949.68572）
伍尔德里奇，M。；M·费希尔。

时间信念逻辑的决策过程。 （英语） Zbl 0949.03504号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 317-331 (1994).
MSC公司：03B44号 03B42号 03B25号 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{M.Wooldridge}和\textit{M.Fisher}，莱克特。票据计算。科学。827、317--331（1994年；Zbl 0949.03504）
Van Belleghem，K。；Denecker，M。；De Schreye，D。

诱因事件演算作为时态数据库的通用框架。 （英语） Zbl 0949.68525号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 301-316 (1994).
MSC公司：第68页，共15页 68立方英尺 68T27型 03B44号
PDF格式BibTeX公司 XML格式引用
\textit｛K.Van Belleghem｝等人，Lect。票据计算。科学。827301--316（1994年；Zbl 0949.68525）
M.C.迪马约。；A.扎纳多。

Prior Thomason分支时间表示中的同步历史。 （英语） Zbl 0949.03514号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 265-282 (1994).
MSC公司：03B44号 第68季度第60季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.C.Di Maio}和\textit{A.Zanardo}，莱克特。票据计算。科学。827，265--282（1994；Zbl 0949.03514）
P.布莱克本。；加登，C。；de Rijke，M。

在时间和事件中来回穿梭。 （英语） Zbl 0949.03508号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 225-237 (1994).
MSC公司：03B44号 03B65号 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}等人，Lect。票据计算。科学。827225-237（1994年；Zbl 0949.03508）
O.伯恩霍兹。；O·格伦伯格。

买一送一！！！ （英语） Zbl 0949.03509号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 210-224 (1994).
MSC公司：03B44号 03B70号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Bernholtz}和\textit{O.Grumberg}，莱克特。票据计算。科学。827，210-224（1994；Zbl 0949.03509）
G.库蒂。；莫瑟，L.E。；梅利亚·史密斯，P.M。；狄龙，L.K。；罗马克里希纳，Y.S。

一阶未来间隔逻辑。 （英语） Zbl 0949.03511号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 195-209 (1994).
MSC公司：03B44号 第68季度第60季度 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{G.Kutty}等人，Lect。票据计算。科学。827、195--209（1994；Zbl 0949.03511）
O·格伦伯格。；库尔山，R.P。

分支时间能有多线性？ （英语） Zbl 0949.03512号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 180-194 (1994).
MSC公司：03B44号 第68季度第60季度
PDF格式BibTeX公司 XML格式引用
\textit{O.Grumberg}和\textit{R.P.Kurshan}，莱克特。票据计算。科学。827、180--194（1994；Zbl 0949.03512）
Y·维内马。

二维时序逻辑中通过平坦性的完整性。 （英语） Zbl 0949.03510号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 149-164 (1994).
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Y.Venema}，莱克特。票据计算。科学。827、149--164（1994年；Zbl 0949.03510）
雷诺兹，M。

在整数时间上公理化U和S。 （英语） Zbl 0949.03507号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。第827117-132页（1994年）。
MSC公司：03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Reynolds}，莱克特。票据计算。科学。827、117--132（1994年；Zbl 0949.03507）
巴达洛尼，S。；Berati，M。

处理时间规划系统中的时间粒度。 （英语） Zbl 0949.68602号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 101-116 (1994).
MSC公司：68单位99 03B70号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{S.Badaloni}和\textit{M.Berati}，莱克特。票据计算。科学。827101--116（1994年；Zbl 0949.68602）
费阿德罗，J.L。；T·迈鲍姆。

对象时序逻辑中的动作细化。 （英语） Zbl 0949.68539号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 48-66 (1994).
MSC公司：第68季度第60季度 03B70号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.L.Fiadeiro}和\textit{T.Maibaum}，莱克特。票据计算。科学。827、48-66（1994年；Zbl 0949.68539）
巴顿，J.C.M。；J.A.伯格斯特拉。；博尔，R.N。

实时流程逻辑。 （英语） Zbl 0949.68538号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 30-47 (1994).
MSC公司：第68季度第60季度 03B70号 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{J.C.M.Baeten}等人，Lect。票据计算。科学。827，30--47（1994；Zbl 0949.68538）
卡茨，S。

ISTL的全局等价证明。 （英语） Zbl 0949.68542号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 17-29 (1994).
MSC公司：第68季度第60季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{S.Katz}，莱克特。票据计算。科学。827，17-29（1994年；兹bl 0949.68542）
瑟伦森，M.U。；O.E.汉森。；勒文格林，H.H。

结合时间规范技术。 （英语） Zbl 0949.68540号

Gabbay，Dov M.（编辑）等人，《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。827, 1-16 (1994).
MSC公司：第68季度第60季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.U.Sörensen}等人，Lect。票据计算。科学。827，1--16（1994；Zbl 0949.68540）
乌尔里希·尼切

命题线性时序逻辑与语言同态。 （英语） Zbl 0946.03020号

Nerode，A.（编辑）等人，LFCS’94，计算机科学的逻辑基础。第三届国际研讨会，俄罗斯圣彼得堡，1994年7月11日至14日。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。813, 265-277 (1994).
MSC公司：03B44号 65年第68季度 03B70号 第68季度第60季度 68T27型
PDF格式BibTeX公司 XML格式引用
\textit{U.Nitsche}，莱克特。票据计算。科学。813265-277（1994年；Zbl 0946.03020）
佐哈尔·曼纳；阿米尔·普努利

时间验证图。 （英语） Zbl 0942.03527号

Hagiya，Masami（编辑）等人，《计算机软件的理论方面》。1994年4月19日至22日，第二届TACS’94国际研讨会，日本仙台。诉讼程序。柏林：斯普林格。莱克特。票据计算。科学。789, 726-765 (1994).
MSC公司：03B70号 第68季度第60季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{Z.Manna}和\textit{A.Pnueli}，莱克特。票据计算。科学。789726-765（1994年；Zbl 0942.03527）
阿米尔卡尔·塞尔纳达斯；JoséFélix科斯塔；克里斯蒂娜·瑟纳达斯

客观行为的制度。 （英语） Zbl 0941.03534号

Ehrig，Hartmut（编辑）等人，《数据类型规范的最新趋势》。1992年10月26日至30日，西班牙卡尔德斯·德·马拉维拉，第九届抽象数据类型规范研讨会与第四届COMPASS研讨会联合举办。精选论文。柏林：斯普林格。莱克特。票据计算。科学。785, 337-350 (1994).
MSC公司：03B70号 68问题85 03B44号 03G30型 18B20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Sernadas}等人，Lect。票据计算。科学。785337-350（1994年；Zbl 0941.03534）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

串行

全部的 前3名

主字段

软件