Details:
Title | A Critical-Pair/Completion Algorithm in Reduction Rings | Author(s) | Bruno Buchberger | Text | RISC-Linz Technical Report 83-21 | Type | Technical Report, Misc | Length | 62 |
File |
| Language | English | Year | 1983 | Translation |
No | Refereed |
No | Organization |
Johannes Kepler University Linz |
|