Travelled to:
1 × France
Collaborated with:
M.S.Hsiao
Talks about:
identif (1) static (1) redund (1) implic (1) multi (1) logic (1) node (1)
Person: Kabir Gulrajani
DBLP: Gulrajani:Kabir
Contributed to:
Wrote 1 papers:
- DATE-2000-GulrajaniH #identification #logic #multi
- Multi-Node Static Logic Implications for Redundancy Identification (KG, MSH), pp. 729–733.