PROOFS BY INDUCTION IN EQUATIONAL THEORIES WITH CONSTRUCTORS

被引：107

作者：

HUET, G

HULLOT, JM

机构：

来源：

关键词：

D O I：

10.1016/0022-0000(82)90006-X

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

引用

页码：239 / 266

页数：28

共 20 条

[1]

AUBIN R, 1976, THESIS U EDINBURGH

[2]

Boyer R.S., 1979, ACM MONOGRAPH SERIES

[3] PROVING THEOREMS ABOUT LISP FUNCTIONS [J].

BOYER, RS ;

MOORE, JS .

[4] PROVING PROPERTIES OF PROGRAMS BY STRUCTURAL INDUCTION [J].

BURSTALL, RM .

[5]

DERSHOWITZ N, 1979, UNPUB THEORET COMPUT, P123

[6]

Goguen J., 1978, CURRENT TRENDS PROGR, P80

[7] INITIAL ALGEBRA SEMANTICS AND CONTINUOUS ALGEBRAS [J].

GOGUEN, JA ;

THATCHER, JW ;

WAGNER, EG ;

WRIGHT, JB .

[8]

GOGUEN JA, 1980, LECTURE NOTES COMPUT, V87, P356

HUET, G .

[10]

HUET G, 1980, INRIA25 RAPP RECH