TRSPEC - A TERM REWRITING BASED SYSTEM FOR ALGEBRAIC SPECIFICATIONS

被引：0

作者：

AVENHAUS, J

BENNINGHOFEN, B

GOBEL, R

MADLENER, K

机构：

来源：

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

页码：665 / 667

页数：3

相关论文

共 8 条

[1]

AVENHAUS J, 1986, UNPUB J SYMB COMP, V2

[2]

AVENHAUS J, 1984, 12084 U KAIS INT REP

[3]

GOBEL R, 1983, P NSF WORKSHOP REWRI

[4]

GOBEL R, 1985, SPRINGER LECTURE NOT

[5]

GOBEL R, 1985, P COMBINATORIAL ALGO

[6]

GOBEL R, 1983, 2ND P WORKSH THEOR A

[7] PROOFS BY INDUCTION IN EQUATIONAL THEORIES WITH CONSTRUCTORS [J].

HUET, G ;

HULLOT, JM .

[8]

MUSSER D, 1980, 7TH ANN ACM S POPL L