Travelled to:
1 × USA
Collaborated with:
C.Weidenbach
Talks about:
normal (1) comput (1) claus (1) tini (1) form (1)
Person: Noran Azmy
DBLP: Azmy:Noran
Contributed to:
Wrote 1 papers:
- CADE-2013-AzmyW #normalisation
- Computing Tiny Clause Normal Forms (NA, CW), pp. 109–125.