Travelled to:
1 × USA
Collaborated with:
R.P.Larsen J.A.Luisi
Talks about:
checkout (1) expand (1) logic (1) equat (1) list (1)
Person: A. K. Singh
DBLP: Singh:A=_K=
Contributed to:
Wrote 1 papers:
- DAC-1982-LarsenLS #equation #logic
- Aw expanded logic equation list for checkout (RPL, JAL, AKS), pp. 291–299.