1988 | ||
---|---|---|
3 | John Doner, Wilfrid Hodges: Alfred Tarski and Decidable Theories. J. Symb. Log. 53(1): 20-35 (1988) | |
1971 | ||
2 | John Doner: Erratum: Tree Acceptors and Some of Their Applications. J. Comput. Syst. Sci. 5(4): 453 (1971) | |
1970 | ||
1 | John Doner: Tree Acceptors and Some of Their Applications. J. Comput. Syst. Sci. 4(5): 406-451 (1970) |
1 | Wilfrid Hodges | [3] |