| Original language | English |
|---|---|
| Pages | 177-189 |
| Number of pages | 13 |
| Publication status | Published - 1999 |
On Automating Inductive and Non-Inductive Termination Methods Asian Computing Science Conference
Fairouz Dib Kamareddine, F Monin
Research output: Contribution to conference › Paper › peer-review