- Record: found
- Abstract: not found
- Article: not found
History and basic features of the critical-pair/completion procedure
Read this article at
ScienceOpenPublisher
There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references64
- Record: found
- Abstract: not found
- Article: not found
Resolution of Singularities of an Algebraic Variety Over a Field of Characteristic Zero: I
Heisuke Hironaka (1964)
- Record: found
- Abstract: not found
- Article: not found
The diamond lemma for ring theory
George Bergman (1978)
- Record: found
- Abstract: not found
- Article: not found
On Theories with a Combinatorial Definition of "Equivalence"
M. Newman (1942)