PROOFS BY INDUCTION IN EQUATIONAL THEORIES WITH CONSTRUCTORS

被引：105

|

作者：

HUET, G

HULLOT, JM

机构：

来源：

JOURNAL OF COMPUTER AND SYSTEM SCIENCES | 1982年 / 25卷 / 02期

关键词：

D O I：

10.1016/0022-0000(82)90006-X

中图分类号：

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

学科分类号：

0812 ;

摘要：

引用

收藏

页码：239 / 266

页数：28

相关论文

共 50 条

[1] AUTOMATIC PROOFS BY INDUCTION IN THEORIES WITHOUT CONSTRUCTORS
JOUANNAUD, JP
KOUNALIS, E
[J]. INFORMATION AND COMPUTATION, 1989, 82 (01) : 1 - 33
[2] OUTER NARROWING FOR EQUATIONAL THEORIES BASED ON CONSTRUCTORS
YOU, JH
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1988, 317 : 727 - 741
[3] THE EQUATIONAL PART OF PROOFS BY STRUCTURAL INDUCTION
LYSNE, O
[J]. BIT, 1993, 33 (04): : 596 - 618
[4] Combining equational theories sharing non-collapse-free constructors
Baader, F
Tinelli, C
[J]. FRONTIERS OF COMBINING SYSTEMS, 2000, 1794 : 260 - 274
[5] Certifying and synthesizing membership equational proofs
Rosu, G
Eker, S
Lincoln, P
Meseguer, J
[J]. FME 2003: FORMAL METHODS, PROCEEDINGS, 2003, 2805 : 359 - 380
[6] EQUATIONAL PROOFS OF JACOBSON’S THEOREM
Brandenburg, Martin
[J]. arXiv, 2023,
[7] FOUNDATIONS OF EQUATIONAL DEDUCTION - A CATEGORICAL TREATMENT OF EQUATIONAL PROOFS AND UNIFICATION ALGORITHMS
RYDEHEARD, DE
STELL, JG
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 114 - 139
[8] A NARROWING PROCEDURE FOR THEORIES WITH CONSTRUCTORS
FRIBOURG, L
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 170 : 259 - 281
[9] Discrete equational theories
Rosicky, J.
[J]. MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024, 34 (02) : 147 - 160
[10] A note on equational theories
Junker, M
[J]. JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (04) : 1705 - 1712

← 1 2 3 4 5 →