AC UNIFICATION THROUGH ORDER-SORTED AC1 UNIFICATION

被引：3

作者：

DOMENJOUD, E ^{[1
]}

机构：

[1] INRIA LORRAINE, F-54506 VANDOEUVRE LES NANCY, FRANCE

来源：

JOURNAL OF SYMBOLIC COMPUTATION | 1992年 / 14卷 / 06期

关键词：

D O I：

10.1016/S0747-7171(19)80001-9

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：537 / 556

页数：20

共 50 条

[1] AC UNIFICATION THROUGH ORDER-SORTED AC1 UNIFICATION
DOMENJOUD, E
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 488 : 98 - 111
[2] ORDER-SORTED UNIFICATION
MESEGUER, J
GOGUEN, JA
SMOLKA, G
JOURNAL OF SYMBOLIC COMPUTATION, 1989, 8 (04) : 383 - 413
[3] UNIFICATION IN ORDER-SORTED TYPE THEORY
KOHLHASE, M
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 624 : 421 - 432
[4] Order-sorted feature theory unification
AitKaci, H
Podelski, A
Goldstein, SC
JOURNAL OF LOGIC PROGRAMMING, 1997, 30 (02): : 99 - 124
[5] Order-sorted Equational Unification Revisited
Hendrix, Joe
Meseguer, Jose
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2012, 290 : 37 - 50
[6] UNIFICATION IN ORDER-SORTED ALGEBRAS WITH OVERLOADING
BOUDET, A
LECTURE NOTES IN ARTIFICIAL INTELLIGENCE, 1992, 607 : 193 - 207
[7] Regular expression order-sorted unification and matching
Kutsia, Temur
Marin, Mircea
JOURNAL OF SYMBOLIC COMPUTATION, 2015, 67 : 42 - 67
[8] UNIFICATION IN ORDER-SORTED LOGIC WITH TERM DECLARATIONS
SOCHERAMBROSIUS, R
LOGIC PROGRAMMING AND AUTOMATED REASONING, 1993, 698 : 301 - 308
[9] ORDER-SORTED UNIFICATION WITH REGULAR EXPRESSION SORTS
Kutsia, Temur
Marin, Mircea
PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON REWRITING TECHNIQUES AND APPLICATIONS (RTA'10), 2010, 6 : 193 - 207
[10] Fast Sort Computations for Order-Sorted Matching and Unification
Eker, Steven
FORMAL MODELING: ACTORS, OPEN SYSTEMS, BIOLOGICAL SYSTEMS: ESSAYS DEDICATED TO CAROLYN TALCOTT ON THE OCCASION OF HER 70TH BIRTHDAY, 2011, 7000 : 299 - 314

← 1 2 3 4 5 →