@Inproceedings{EPTCS176.1,
  author    = {Chaudhuri, Kaustuv},
  year      = {2015},
  title     = {Undecidability of Multiplicative Subexponential Logic},
  editor    = {Alves, Sandra and Cervesato, Iliano},
  booktitle = {{\rm Proceedings Third International Workshop on}
               Linearity,
               {\rm Vienna, Austria, 13th July, 2014}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {176},
  publisher = {Open Publishing Association},
  pages     = {1-8},
  doi       = {10.4204/EPTCS.176.1},
}