AN ALGORITHM FOR THE UNIFICATION OF 2ND-ORDER MONADIC TERMS

被引：0

作者：

FARMER, WM

机构：

来源：

JOURNAL OF SYMBOLIC LOGIC | 1986年 / 51卷 / 03期

关键词：

D O I：

暂无

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：841 / 842

页数：2

相关论文

共 50 条

[1] A UNIFICATION ALGORITHM FOR SECOND-ORDER MONADIC TERMS
FARMER, WM
ANNALS OF PURE AND APPLIED LOGIC, 1988, 39 (02) : 131 - 174
[2] INTERPRETING 2ND-ORDER LOGIC IN THE MONADIC THEORY OF ORDER
GUREVICH, Y
SHELAH, S
JOURNAL OF SYMBOLIC LOGIC, 1983, 48 (03) : 816 - 828
[3] MONADIC 2ND-ORDER DEFINABLE GRAPH TRANSDUCTIONS
COURCELLE, B
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 581 : 124 - 144
[4] Equational unification, word unification, and 2nd-order equational unification
Otto, F
Narendran, P
Dougherty, DJ
THEORETICAL COMPUTER SCIENCE, 1998, 198 (1-2) : 1 - 47
[5] THE UNDECIDABILITY OF THE 2ND-ORDER UNIFICATION PROBLEM
GOLDFARB, WD
THEORETICAL COMPUTER SCIENCE, 1981, 13 (02) : 225 - 230
[6] MONADIC 2ND-ORDER DEFINABLE GRAPH TRANSDUCTIONS - A SURVEY
COURCELLE, B
THEORETICAL COMPUTER SCIENCE, 1994, 126 (01) : 53 - 75
[7] THE DEFINABILITY OF EQUATIONAL GRAPHS IN MONADIC 2ND-ORDER LOGIC
COURCELLE, B
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 372 : 207 - 221
[8] UNDECIDABLE EXTENSIONS OF MONADIC 2ND-ORDER SUCCESSOR ARITHMETIC
SEESE, DG
ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1978, 24 (01): : 63 - 71
[9] 2ND-ORDER TERMS IN THE FIGURE OF SATURN
JEFFREYS, H
MONTHLY NOTICES OF THE ROYAL ASTRONOMICAL SOCIETY, 1954, 114 (04) : 433 - 436
[10] A DECISION PROCEDURE FOR THE MONADIC 2ND-ORDER LOGIC OF ONE SUCCESSOR
CALBRIX, H
NIVAT, M
PODELSKI, A
COMPTES RENDUS DE L ACADEMIE DES SCIENCES SERIE I-MATHEMATIQUE, 1994, 318 (09): : 847 - 850

← 1 2 3 4 5 →