Richard Watnick

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2003

2 Manuel Lerman, Richard Watnick: Computable choice functions for computable linear orderings. Math. Log. Q. 49(5): 485-510 (2003)

1984

1 Richard Watnick: A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings. J. Symb. Log. 49(2): 563-569 (1984)

	2003
2		Manuel Lerman, Richard Watnick: Computable choice functions for computable linear orderings. Math. Log. Q. 49(5): 485-510 (2003)
	1984
1		Richard Watnick: A Generalization of Tennenbaum's Theorem on Effectively Finite Recursive Linear Orderings. J. Symb. Log. 49(2): 563-569 (1984)

Coauthor Index

1 Manuel Lerman [2]