Travelled to:
1 × Italy
Collaborated with:
∅
Talks about:
character (1) problem (1) theori (1) induct (1) infer (1)
Person: Rolf Wiehagen
DBLP: Wiehagen:Rolf
Contributed to:
Wrote 1 papers:
- ICALP-1978-Wiehagen #formal method #induction #problem
- Characterization Problems in the Theory of Inductive Inference (RW), pp. 494–508.