EQUATIONAL SPECIFICATION OF PARTIAL HIGHER-ORDER ALGEBRAS

被引：2

|

作者：

BROY, M

机构：

来源：

THEORETICAL COMPUTER SCIENCE | 1988年 / 57卷 / 01期

关键词：

D O I：

10.1016/0304-3975(88)90162-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：3 / 45

页数：43

相关论文

共 50 条

[1] Higher-order equational logic for specification, simulation and testing
Meinke, K
[J]. HIGHER-ORDER ALGEBRA, LOGIC, AND TERM REWRITING, 1996, 1074 : 124 - 143
[2] AN EQUATIONAL PRESENTATION OF HIGHER-ORDER LOGIC
COQUAND, T
EHRHARD, T
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 40 - 56
[3] Modular higher-order equational preunification
Qian, ZY
Wang, K
[J]. JOURNAL OF SYMBOLIC COMPUTATION, 1996, 22 (04) : 401 - 424
[4] Higher-order pattern generalization modulo equational theories
Cerna, David M.
Kutsia, Temur
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2020, 30 (06) : 627 - 663
[5] SPECIFICATION AND VERIFICATION OF HIGHER-ORDER PROCESSES
HANSEN, MR
ZHOU, CC
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 452 : 322 - 328
[6] HIGHER-ORDER ORDER-SORTED ALGEBRAS
QIAN, ZY
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1990, 463 : 86 - 100
[7] HIGHER-ORDER PARTIAL VELOCITIES IN HIGHER-ORDER NONLINEAR NONHOLONOMIC SYSTEMS
HE, YQ
[J]. INTERNATIONAL JOURNAL OF NON-LINEAR MECHANICS, 1991, 26 (05) : 455 - 459
[8] Higher-Order Partial Differentiation
Endou, Noboru
Okazaki, Hiroyuki
Shidama, Yasunari
[J]. FORMALIZED MATHEMATICS, 2012, 20 (02): : 113 - 124
[9] PARTIAL HIGHER-ORDER SPECIFICATIONS
ASTESIANO, E
CERIOLI, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 520 : 74 - 83
[10] Higher-order simple Lie algebras
deAzcarraga, JA
Bueno, JCP
[J]. COMMUNICATIONS IN MATHEMATICAL PHYSICS, 1997, 184 (03) : 669 - 681

← 1 2 3 4 5 →