The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets

Ursula Martin, Elizabeth Scott. The Order Types of Termination Orderings on Monadic Terms, Strings and Multisets. Journal of Symbolic Logic, 62(2):624-635, 1997.

Possibly Related Publications

The following publications are possibly variants of this publication: