Skip to main content
University of Oxford Department of Computer Science
  Contact Us     Search  
  1. Home
  2. Research
  3. Publications
  4. The order types of termination orderings on monadic terms‚ strings and multisets

The order types of termination orderings on monadic terms‚ strings and multisets

Ursula Martin and Elizabeth Scott

Journal
The Journal of Symbolic Logic
Number
2
Pages
624–635
Publisher
Cambridge University Press
Volume
62
Year
1997

Links

See Also

Back to Top