The order types of termination orderings on terms, strings and multisets. / Martin, Ursula; Scott, Elizabeth.
In: Journal of Symbolic Logic, Vol. 62, No. 2, 1997, p. 624-635.Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Pages (from-to) | 624-635 |
Journal | Journal of Symbolic Logic |
Volume | 62 |
Issue number | 2 |
DOIs | |
Publication status | Published - 1997 |
ID: 1177136