John Doner

	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)

Coauthor Index

1

Wilfrid Hodges

[3]