Abstract | ||
---|---|---|
A general framework for unification in ''commutative'' theories is investigated which is based on a categorical reformulation of theory unification. We thus obtain the well-known results for abelian groups, abelian monoids and idempotent abelian monoids ... |
Year | DOI | Venue |
---|---|---|
1989 | 10.1016/S0747-7171(89)80058-6 | J. Symb. Comput. |
Keywords | DocType | Volume |
abelian group,well-known result,differential equation,theory unification,general framework,categorical reformulation,orthogonal family,idempotent abelian monoids,abelian monoids | Journal | 8 |
Issue | ISSN | Citations |
5 | Journal of Symbolic Computation | 0 |
PageRank | References | Authors |
0.34 | 0 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. RONVEAUX | 1 | 24 | 9.81 |
G. Thiry | 2 | 0 | 0.68 |