Original language | English |
---|---|
Title of host publication | Computing Science in the Netherlands (CSN'91, Utrecht, The Netherlands, November 7-8, 1991) |
Place of Publication | Amsterdam |
Publisher | Centrum voor Wiskunde en Informatica |
Pages | 617-629 |
ISBN (Print) | 90-6196-404-0 |
Publication status | Published - 1991 |
Termination of term rewriting : from many-sorted to one-sorted
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review