Skip to main content

The theory of termination orderings on strings: exposition and examples

U Martin

Journal
AUSTRALIAN COMPUTER SCIENCE COMMUNICATIONS
Pages
364–369
Publisher
UNIVERSITY OF CANTERBURY
Volume
17
Year
1995