vivek-nigam documents

Specifying Proof Systems in Linear Logic with Subexponentials
Documents Specifying Proof Systems in Linear Logic with Subexponentials
Generalized Blind Delayed Source Separation Model for Online Non-invasive Twin-fetal Sound Separation: A Phantom Study
Documents Generalized Blind Delayed Source Separation Model for Online Non-invasive Twin-fetal Sound Separation: A Phantom Study
Maintaining distributed logic programs incrementally
Documents Maintaining distributed logic programs incrementally
GST and transition provisions
Small Business & Entrepreneurship GST and transition provisions