Travelled to:1 × United Kingdom
Collaborated with:A.Koller
Talks about:underspecifi (1) normal (1) comput (1) form (1)
Person: Stefan Thater
DBLP: Thater:Stefan
Contributed to:
Wrote 1 papers:
- RTA-2010-KollerT #normalisation
- Underspecified computation of normal forms (AK, ST), pp. 177–192.












