@proceedings{DBLP:conf/icla/2015,
  editor    = {Mohua Banerjee and
               Shankara Narayanan Krishna},
  title     = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,
               India, January 8-10, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8923},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-662-45824-2},
  doi       = {10.1007/978-3-662-45824-2},
  isbn      = {978-3-662-45823-5},
  timestamp = {Sun, 21 May 2017 00:18:38 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/icla/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"B2y9GAodyRKJzgTJ8","bibbaseid":"banerjee-krishna-logicanditsapplications6thindianconferenceicla2015mumbaiindiajanuary8102015proceedings-2015","downloads":0,"creationDate":"2016-10-13T11:52:51.083Z","title":"Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings","author_short":null,"year":2015,"bibtype":"proceedings","biburl":"https://dblp.org/pid/86/3728.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Mohua"],"propositions":[],"lastnames":["Banerjee"],"suffixes":[]},{"firstnames":["Shankara","Narayanan"],"propositions":[],"lastnames":["Krishna"],"suffixes":[]}],"title":"Logic and Its Applications - 6th Indian Conference, ICLA 2015, Mumbai, India, January 8-10, 2015. Proceedings","series":"Lecture Notes in Computer Science","volume":"8923","publisher":"Springer","year":"2015","url":"https://doi.org/10.1007/978-3-662-45824-2","doi":"10.1007/978-3-662-45824-2","isbn":"978-3-662-45823-5","timestamp":"Sun, 21 May 2017 00:18:38 +0200","biburl":"https://dblp.org/rec/bib/conf/icla/2015","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/icla/2015,\n editor = {Mohua Banerjee and\n Shankara Narayanan Krishna},\n title = {Logic and Its Applications - 6th Indian Conference, {ICLA} 2015, Mumbai,\n India, January 8-10, 2015. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {8923},\n publisher = {Springer},\n year = {2015},\n url = {https://doi.org/10.1007/978-3-662-45824-2},\n doi = {10.1007/978-3-662-45824-2},\n isbn = {978-3-662-45823-5},\n timestamp = {Sun, 21 May 2017 00:18:38 +0200},\n biburl = {https://dblp.org/rec/bib/conf/icla/2015},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Banerjee, M.","Krishna, S. N."],"key":"DBLP:conf/icla/2015","id":"DBLP:conf/icla/2015","bibbaseid":"banerjee-krishna-logicanditsapplications6thindianconferenceicla2015mumbaiindiajanuary8102015proceedings-2015","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-662-45824-2"},"downloads":0},"search_terms":["logic","applications","6th","indian","conference","icla","2015","mumbai","india","january","2015","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["KDQuukxFWotbrcxLq"]}