Richard Watnick

According to our database, Richard Watnick authored at least 3 papers between 1984 and 2003.

Collaborative distances:

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

2003

Computable choice functions for computable linear orderings.

Manuel Lerman, Richard Watnick

Math. Log. Q., 2003

1988

Finite condensations of recursive linear orders.

Dev Kumar Roy, Richard Watnick

Stud Logica, 1988

1984

A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings.

Richard Watnick

J. Symb. Log., 1984