No label defined (Q3336682)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1984
0 references
Gröbner-basis
0 references
polynomial ideal theory
0 references
critical-pair/completion algorithm
0 references
ideal membership problem
0 references
canonical simplification problem modulo ideals
0 references
uniform word problem for finitely generated commutative rings
0 references
