D. F. Otth

According to our database, D. F. Otth authored at least 1 paper in 1995.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1995

A Proof of Strong Normalization of F_2, F_omega and Beyond

David A. McAllester, J. Kucan, D. F. Otth

Inf. Comput., September, 1995