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.












