SOME REMARKS ON DERIVATIONS IN GENERAL REWRITING SYSTEMS

被引：33

|

作者：

GRIFFITHS, TV

机构：

来源：

INFORMATION AND CONTROL | 1968年 / 12卷 / 01期

关键词：

D O I：

10.1016/S0019-9958(68)90178-2

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：27 / +

页数：1

相关论文

共 50 条

[1] Some remarks on general systems
Hu, QP
Lin, Y
[J]. INTERNATIONAL JOURNAL OF SYSTEMS SCIENCE, 1996, 27 (04) : 413 - 417
[2] AN ALGEBRAIC STRUCTURE FOR DERIVATIONS IN REWRITING-SYSTEMS
VELINOV, Y
[J]. THEORETICAL COMPUTER SCIENCE, 1988, 57 (2-3) : 205 - 224
[3] SOME REMARKS ON S-DERIVATIONS
LEROY, A
MATCZUK, J
[J]. COMMUNICATIONS IN ALGEBRA, 1985, 13 (06) : 1229 - 1244
[4] Natural rewriting for general term rewriting systems
Escobar, S
Meseguer, J
Thati, P
[J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 101 - 116
[5] SOME REMARKS ON HIGH-ORDER DERIVATIONS
ISHIBASHI, Y
[J]. PACIFIC JOURNAL OF MATHEMATICS, 1974, 52 (02) : 419 - 424
[6] GENERAL SYSTEMS PHILOSOPHY AND SAMKHYA YOGA - SOME REMARKS
BANNERJEE, MK
[J]. PHILOSOPHY EAST & WEST, 1982, 32 (01): : 99 - 104
[7] Lifting Term Rewriting Derivations in Constructor Systems by Using Generators
Riesco, Adrian
Rodriguez-Hortala, Juan
[J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2015, (173): : 87 - 99
[8] INCREMENTAL REWRITING IN NARROWING DERIVATIONS
HANUS, M
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 632 : 228 - 243
[9] Remarks on Thatte's transformation of term rewriting systems
Luttik, B
Rodenburg, P
Verma, R
[J]. INFORMATION AND COMPUTATION, 2004, 195 (1-2) : 66 - 87
[10] SOME REMARKS ON HIGH-ORDER DERIVATIONS .3.
KIKUCHI, T
[J]. JOURNAL OF MATHEMATICS OF KYOTO UNIVERSITY, 1983, 23 (02): : 265 - 267

← 1 2 3 4 5 →