Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
general (1) recurs (1) implic (1) under (1) unif (1) anti (1)
Person: Peter Idestam-Almquist
DBLP: Idestam-Almquist:Peter
Contributed to:
Wrote 1 papers:
- ICML-1993-Idestam-Almquist #anti #recursion
- Generalization under Implication by Recursive Anti-unification (PIA), pp. 151–158.