Travelled to:
1 × Denmark
Collaborated with:
∅
Talks about:
abstract (1) analysi (1) strict (1) reduct (1) use (1)
Person: E. Nocker
DBLP: Nocker:E=
Contributed to:
Wrote 1 papers:
- FPCA-1993-Nocker #analysis #reduction #strict #using
- Strictness Analysis using Abstract Reduction (EN), pp. 255–265.