Selected publications at LSV

@inproceedings{DGK-lics18,
   address = {Oxford, UK},
   author = {Dave, Vrunda and Gastin, Paul and Krishna, Shankara Narayanan},
   booktitle = {{P}roceedings of the 33rd {A}nnual {ACM\slash IEEE} {S}ymposium on {L}ogic {I}n {C}omputer {S}cience ({LICS}'18)},
   editor = {Hofmann, Martin and Dawar, Anuj and Gr{\"a}del, Erich},
   month = jul,
   note = {To appear},
   publisher = {{IEEE} Press},
   title = {{Regular Transducer Expressions for Regular Transformations}},
   url = {https://arxiv.org/abs/1802.02094},
   year = {2018},
}

About LSV

Select by Year