Term rewriting systems for modular algebraic specification languages

被引：0

|

作者：

Nakamura, Masaki ^{[1
]}

Futatsugi, Kokichi ^{[1
]}

机构：

[1] School of Information Science, Japan Advanced Institute of Science and Technology

来源：

Computer Software | 2006年 / 23卷 / 03期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

收藏

页码：35 / 50

相关论文

共 50 条

[21] Specification and Prototyping of Reactive Distributed Systems with Algebraic Term Nets
Bouchoul, Faiza
Mostefai, Mohammed
INTERNATIONAL ARAB JOURNAL OF INFORMATION TECHNOLOGY, 2010, 7 (01) : 86 - 95
[22] Visibly pushdown languages and term rewriting
Chabin, Jacques
Rety, Pierre
FRONTIERS OF COMBINING SYSTEMS, PROCEEDINGS, 2007, 4720 : 252 - +
[23] SPECIFICATION OF MODULAR SYSTEMS
WEBER, H
EHRIG, H
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (07) : 784 - 798
[24] Modular properties of constructor-sharing conditional term rewriting systems
Ohlebusch, E
CONDITIONAL AND TYPED REWRITING SYSTEMS, 1995, 968 : 296 - 315
[25] MODULAR COMPLEXITY ANALYSIS FOR TERM REWRITING
Zankl, Harald
Korp, Martin
LOGICAL METHODS IN COMPUTER SCIENCE, 2014, 10 (01)
[26] Modular aspects of term graph rewriting
Rao, MRKK
THEORETICAL COMPUTER SCIENCE, 1998, 208 (1-2) : 59 - 86
[27] Modular aspects of term graph rewriting
Max-Planck-Inst. für Informatik, Im Stadtwald, 66123 Saarbrücken, Germany
不详
不详
Theor Comput Sci, 1-2 (59-86):
[28] Representing languages by learnable rewriting systems
Eyraud, R
de la Higuera, C
Janodet, JC
GRAMMATICAL INFERENCE: ALGORITHMS AND APPLICATIONS, PROCEEDINGS, 2004, 3264 : 139 - 150
[29] ON RELATIONSHIP BETWEEN TERM REWRITING-SYSTEMS AND REGULAR TREE-LANGUAGES
KUCHEROV, GA
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 299 - 311
[30] SPECIFICATION LANGUAGES FOR DISTRIBUTED SYSTEMS
DEGANO, P
MONTANARI, U
LECTURE NOTES IN COMPUTER SCIENCE, 1985, 185 : 29 - 51

← 1 2 3 4 5 →