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.