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 |
|