| |
| 2003 | ||
|---|---|---|
| 2 | EE | 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) | |
| 1 | Manuel Lerman | [2] |