Statistics
Publications
4
Citations
575
H-Index
4
Active since
1969
Affiliations
John Doner is an author at University of California, Santa Barbara specializing in engineering, automated reasoning, and combinatorial optimization.
Publications per year
1969–1998
4
4
Applications of recursive operators to randomness and complexity
Todd Ebert, John Doner · 1998 · 47 citations
Alfred Tarski and decidable theories
John Doner, Wilfrid Hodges · Journal of Symbolic Logic · 1988 · 10 citations
1–4 of 4