Shambwaditya Saha | FOCS Lab @ NUShttps://focs-lab.comp.nus.edu.sg/author/shambwaditya-saha/Shambwaditya SahaHugo Blox Builder (https://hugoblox.com)en-usMon, 01 Jan 2018 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/media/icon_hu5d7d4d7c5767fff68bb2045c417d28ca_165_512x512_fill_lanczos_center_3.pngShambwaditya Sahahttps://focs-lab.comp.nus.edu.sg/author/shambwaditya-saha/Decidable Fragment of Second Order Logic With Applications to Program Synthesishttps://focs-lab.comp.nus.edu.sg/publication/2018/2018-csl-madhusudan-eqsmt/Mon, 01 Jan 2018 00:00:00 +0000https://focs-lab.comp.nus.edu.sg/publication/2018/2018-csl-madhusudan-eqsmt/