Richard Watnick

Publication Activity (10 Years)

Years Active: 1984-2003
Publications (10 Years): 0

Publications

Manuel Lerman, Richard Watnick
Computable choice functions for computable linear orderings. Math. Log. Q. 49 (5) (2003)
Dev Kumar Roy, Richard Watnick
Finite condensations of recursive linear orders. Stud Logica 47 (4) (1988)
Richard Watnick
A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings. J. Symb. Log. 49 (2) (1984)