COMBINING UNIFICATION ALGORITHMS FOR CONFINED REGULAR EQUATIONAL THEORIES

被引：0

|

作者：

YELICK, K

机构：

来源：

LECTURE NOTES IN COMPUTER SCIENCE | 1985年 / 202卷

关键词：

D O I：

暂无

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

引用

收藏

页码：365 / 380

页数：16

相关论文

共 50 条

[31] Variant Narrowing and Equational Unification
Escobar, Santiago
Meseguer, Jose
Sasse, Ralf
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 238 (03) : 103 - 119
[32] COMBINING MATCHING ALGORITHMS - THE REGULAR CASE
NIPKOW, T
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 343 - 358
[33] COMBINING MATCHING ALGORITHMS - THE REGULAR CASE
NIPKOW, T
JOURNAL OF SYMBOLIC COMPUTATION, 1991, 12 (06) : 633 - 653
[34] A note on equational theories
Junker, M
JOURNAL OF SYMBOLIC LOGIC, 2000, 65 (04) : 1705 - 1712
[35] Discrete equational theories
Rosicky, J.
MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE, 2024, 34 (02) : 147 - 160
[36] EQUATIONAL THEORIES AND UNIVERSAL THEORIES OF FIELDS
ONO, H
JOURNAL OF THE MATHEMATICAL SOCIETY OF JAPAN, 1983, 35 (02) : 289 - 306
[37] On the Unification of Process Semantics: Equational Semantics
de Frutos Escrig, David
Gregorio Rodriguez, Carlos
Palomino, Miguel
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 249 : 243 - 267
[38] Theories with equational forking
Junker, M
Kraus, I
JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (01) : 326 - 340
[39] EQUATIONAL THEORIES OF FIELDS
Martin-Pizarro, Amador
Ziegler, Martin
JOURNAL OF SYMBOLIC LOGIC, 2020, 85 (02) : 828 - 851
[40] JOIN OF EQUATIONAL THEORIES
PIGOZZI, D
COLLOQUIUM MATHEMATICUM, 1974, 30 (01) : 15 - 25

← 1 2 3 4 5 →