Research output: Contribution to conference › Paper
}
TY - CONF
T1 - The Order Types of Termination Orderings on Terms, Strings and Multisets
AU - Martin, Ursula Hilda Mary
AU - Scott, E
N1 - Proc 8th IEEE Conference on Logic in Computer Science, Montreal
PY - 1993
Y1 - 1993
M3 - Paper
ER -