Travelled to:
1 × The Netherlands
1 × United Kingdom
Collaborated with:
S.Thater M.Bodirsky K.Erk J.Niehren
Talks about:
underspecifi (1) constraint (1) reduct (1) normal (1) comput (1) form (1)
Person: Alexander Koller
DBLP: Koller:Alexander
Contributed to:
Wrote 2 papers:
- RTA-2010-KollerT #normalisation
- Underspecified computation of normal forms (AK, ST), pp. 177–192.
- RTA-2001-BodirskyEKN #constraints #reduction
- β Reduction Constraints (MB, KE, AK, JN), pp. 31–46.