Travelled to:
1 × USA
Collaborated with:
J.Case
Talks about:
hierarchi (1) anomali (1) mechan (1) induct (1) infer (1)
Person: Carl Smith
DBLP: Smith:Carl
Contributed to:
Wrote 1 papers:
- STOC-1978-CaseS #induction
- Anomaly Hierarchies of Mechanized Inductive Inference (JC, CS), pp. 314–319.