×
约瑟夫·戈根;拉兹万·迪亚科内斯库

牛津大学对有序代数的调查。 （英语） 兹比尔0939.68710

数学。结构。计算。科学。 4，第3期，363-392（1994）.

引用于22文件

MSC公司：

68问题65 抽象数据类型；代数规范
08A70号 泛代数在计算机科学中的应用

软件：

OBJ3型;2月2日
PDF格式BibTeX公司 XML格式引用
\textit{J.Goguen}和\textit{R.Diaconescu}，数学。结构。计算。科学。4，第3号，363--392（1994；Zbl 0939.68710）
全文： 内政部

参考文献：

[1] Goguen，Proceedings，First International Symposium on Category Theory Applied to Computation and Control第234页–（1974）
[2] Sannella，《信息与控制》76第165页–（1988）
[3] Poigné，Springer-Verlag计算机科学讲稿176（1984）
[4] 果戈拉，《第九届CAAP会议录》（波尔多第139页–（1984）
[5] Diaconescu，《逻辑环境》，《苏格兰爱丁堡研讨会论文集》，1991年5月，第83页–（1993）
[6] 内政部：10.1145/75277.75306·数字对象标识代码：10.1145/75277.75306
[7] Mosses，Proceedings，第四届计算机科学逻辑年会，pp 304–（1989）
[8] 内政部：10.1017/S0305004100013463·doi:10.1017/S0305004100013463
[9] Mosses，Springer-Verlag计算机科学讲稿349（1989）
[10] Benabou，Cahiers de Topologie et Géometrie Différentiel 10 pp 1–（1968）
[11] DOI:10.1073/pnas.50.5.869·Zbl 0119.25901号 ·doi:10.1073/pnas.50.5.869
[12] Andréka，数学学会口语，János Bolyai pp 13-（1981）
[13] Aczel，术语声明逻辑和广义合成（1990）
[14] DOI:10.1002/月19日630270108·Zbl 0117.25903号 ·doi:10.1002/mana.19630270108
[15] 哈尔莫斯，布尔代数讲座（1963）
[16] Goguen，《面向对象数据库：分析、设计和构建》，第1页–（1991年）
[17] Goguen，使用OBJ的代数规范的应用（1994）
[18] Goguen，《计算机协会杂志》24，第68页–（1977年）·Zbl 0359.68018号 ·数字对象标识代码：10.1145/321992.321997
[19] 内政部：10.1098/rsta.1992.0026·doi:10.1098/rsta.1992.0026
[20] 内政部：10.1016/0304-3975（92）90302-V·Zbl 0778.68056号 ·doi:10.1016/0304-3975（92）90302-V
[21] Goguen，面向对象编程研究方向，第417页–（1987）
[22] Goguen，《第二届计算机科学逻辑研讨会论文集》，纽约伊萨卡第18页–（1987）
[23] 施普林格·戈根（Springer Goguen）——计算机科学Verlag课堂讲稿250 pp 1–（1987）·doi:10.1007/BFb0014969
[24] Goguen，《欧洲理论计算机科学协会公报》30 pp 66–（1986）
[25] Goguen，《逻辑编程：函数、关系和方程》，第295页–（1986年）
[26] 怀特海，《关于泛代数及其应用的论文》，I（1898）·Zbl 1205.15005号
[27] Walther，Springer-Verlag人工智能讲义418 pp 18–（1990）
[28] Goguen，《休斯顿数学杂志》11，第307页–（1985）
[29] Goguen，Springer-Verlag计算机科学课堂讲稿140 pp 265–（1982）·doi:10.1007/BFb0012775
[30] DOI:10.1016/0004-3702（85）90029-3·Zbl 0569.68076号 ·doi:10.1016/0004-3702（85）90029-3
[31] Goguen，《经典思维：纪念C.A.R.Hoare的论文》第119页–（1994）
[32] 内政部：10.1016/0304-3975（92）90322-7·Zbl 0746.68064号 ·doi:10.1016/0304-3975（92）90322-7
[33] Goguen，Springer-Verlag计算机科学课堂讲稿194（1985）
[34] Goguen，《第十届抽象数据类型研讨会论文集》（1993年）
[35] Goguen，《计算机协会杂志》39 pp 95–（1985）·Zbl 0799.68134号 ·数字对象标识代码：10.1145/147508.147524
[36] Smolka，代数结构方程的解析，第2卷：重写技术（1989）
[37] Goguen，计算机科学中的拓扑和范畴理论，第357页–（1991）
[38] Schmidt Schauss，Springer Verlag人工智能讲义395（1989）·兹伯利0684.03019
[39] Reichel，《第三届匈牙利计算机科学会议论文集》（1981年）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。