A Generic Framework for Diamond Lemmas (Q6207765)
From MaRDI portal
scientific article; zbMATH DE number 900042015
Language | Label | Description | Also known as |
---|---|---|---|
English | A Generic Framework for Diamond Lemmas |
scientific article; zbMATH DE number 900042015 |
Statements
7 December 2007
0 references
math.RA
0 references