Travelled to:
1 × Serbia
Collaborated with:
A.Stump G.Kimmell
Talks about:
confluenc (1) problem (1) preserv (1) type (1)
Person: Roba El Haj Omar
DBLP: Omar:Roba_El_Haj
Contributed to:
Wrote 1 papers:
- RTA-2011-StumpKO #confluence #problem
- Type Preservation as a Confluence Problem (AS, GK, REHO), pp. 345–360.