Details:
| Title | Rewrite Systems for Natural, Integral, and Rational Arithmetic | | Author(s) | Evelyne Contejean, Claude Marche, Landy Rabehasaina | | Type | Article in Conference Proceedings | | Abstract | | | Length | 15 |
| File |
| | Language | English | | Pages | 98-112 | | Year | 1997 | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
