Order-sorted universes of structured objects

被引：0

|

作者：

Asian Inst of Technology, Bangkok, Thailand ^{[1
]}

机构：

来源：

IEICE Trans Inf Syst | / 2卷 / 143-149期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

相关论文

共 50 条

[21] PARAMETRIZATION FOR ORDER-SORTED ALGEBRAIC SPECIFICATION
POIGNE, A
JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1990, 40 (02) : 229 - 268
[22] OPERATIONAL SEMANTICS FOR ORDER-SORTED ALGEBRA
GOGUEN, JA
JOUANNAUD, JP
MESEGUER, J
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 194 : 221 - 231
[23] COMPATIBILITY OF ORDER-SORTED REWRITE RULES
WALDMANN, U
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 516 : 407 - 416
[24] EQUATIONAL COMPLETION IN ORDER-SORTED ALGEBRAS
GNAEDIG, I
KIRCHNER, C
KIRCHNER, H
LECTURE NOTES IN COMPUTER SCIENCE, 1988, 299 : 165 - 184
[25] EQUATIONAL COMPLETION IN ORDER-SORTED ALGEBRAS
GNAEDIG, I
KIRCHNER, C
KIRCHNER, H
THEORETICAL COMPUTER SCIENCE, 1990, 72 (2-3) : 169 - 202
[26] Fuzzy order-sorted feature logic
Milanese, Gian Carlo
Pasi, Gabriella
FUZZY SETS AND SYSTEMS, 2024, 477
[27] Order-sorted Equational Unification Revisited
Hendrix, Joe
Meseguer, Jose
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 290 : 37 - 50
[28] UNIFICATION IN ORDER-SORTED ALGEBRAS WITH OVERLOADING
BOUDET, A
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 193 - 207
[29] A semantic approach to order-sorted rewriting
Werner, A
JOURNAL OF SYMBOLIC COMPUTATION, 1998, 25 (04) : 527 - 569
[30] An order-sorted resolution in theory and practice
Weibel, T
THEORETICAL COMPUTER SCIENCE, 1997, 185 (02) : 393 - 410

← 1 2 3 4 5 →