|
|
(view preamble | get metadata)
Cross-references: Gröbner basis, algebras, associative, composition, theory, ring, number, congruence relation, structure, proof, necessary, imply, descending chain condition, strict, well-founded induction, well-founded, consequence, primary, property, inverse, bijection, group, quotient, algebraic structures, equivalence classes, transitivity, sequence, conversely, symmetric closure, transitive, Reflexive, function, applications, finite sequence, expression, interpretation, elements, algorithm, satisfies, effective, infinite, closure, generate, axiom, distributivity, algebra, equivalences, equivalence relation, terms, theorem, Diamond, completes, diagram, sides, relation, square, reflexive transitive closure, joinable, equivalent, terminating, binary relations, areas, normal form
There are 20 references to this entry.
This is version 6 of diamond lemma, born on 2005-07-18, modified 2008-04-02.
Object id is 7235, canonical name is DiamondLemma.
Accessed 9060 times total.
Classification:
| AMS MSC: | 03C05 (Mathematical logic and foundations :: Model theory :: Equational classes, universal algebra) | | | 68Q42 (Computer science :: Theory of computing :: Grammars and rewriting systems) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|