COHERENCE FOR CATEGORIES WITH ASSOCIATIVITY COMMUTATIVITY AND DISTRIBUTIVITY

被引：5

|

作者：

LAPLAZA, ML

机构：

来源：

BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY | 1972年 / 78卷 / 02期

关键词：

D O I：

10.1090/S0002-9904-1972-12925-2

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

引用

收藏

页码：220 / &

相关论文

共 50 条

[21] Combined Abstract Congruence Closure for Theories with Associativity or Commutativity
Ringeissen, Christophe
Vigneron, Laurent
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2024, 2024, 14919 : 82 - 98
[22] Homeomorphic Embedding Modulo Combinations of Associativity and Commutativity Axioms
Alpuente, Maria
Cuenca-Ortega, Angel
Escobar, Santiago
Meseguer, Jose
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, LOPSTR 2018, 2019, 11408 : 38 - 55
[23] Facets of congruence distributivity in Goursat categories
Gran, Marino
Rodelo, Diana
Nguefeu, Idriss Tchoffo
JOURNAL OF PURE AND APPLIED ALGEBRA, 2020, 224 (10)
[24] AUTOMATED THEOREM-PROVING FOR THEORIES WITH SIMPLIFIERS, COMMUTATIVITY, AND ASSOCIATIVITY
SLAGLE, JR
JOURNAL OF THE ACM, 1974, 21 (04) : 622 - 642
[25] The Robinson-Schensted-Knuth correspondence and the bijections of commutativity and associativity
Danilov, V. I.
Koshevoi, G. A.
IZVESTIYA MATHEMATICS, 2008, 72 (04) : 689 - 716
[26] COMPLETE-SETS OF REDUCTIONS MODULO ASSOCIATIVITY, COMMUTATIVITY AND IDENTITY
BAIRD, TB
PETERSON, GE
WILKERSON, RW
LECTURE NOTES IN COMPUTER SCIENCE, 1989, 355 : 29 - 44
[27] COMPLETION MODULO ASSOCIATIVITY, COMMUTATIVITY AND IDENTITY (AC1)
JOUANNAUD, JP
MARCHE, C
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 429 : 111 - 120
[28] Congruence distributivity in Goursat and Mal'cev categories
Bourn, D
APPLIED CATEGORICAL STRUCTURES, 2005, 13 (02) : 101 - 111
[29] Congruence Distributivity in Goursat and Mal’cev Categories
Dominique Bourn
Applied Categorical Structures, 2005, 13 : 101 - 111
[30] Obstructions to coherence: natural noncoherent associativity
Yanofsky, NS
JOURNAL OF PURE AND APPLIED ALGEBRA, 2000, 147 (02) : 175 - 213

← 1 2 3 4 5 →