@proceedings{DBLP:conf/lfcs/2013,
  editor    = {Sergei N. Art{\"{e}}mov and
               Anil Nerode},
  title     = {Logical Foundations of Computer Science, International Symposium,
               {LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7734},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-35722-0},
  doi       = {10.1007/978-3-642-35722-0},
  isbn      = {978-3-642-35721-3},
  timestamp = {Sun, 21 May 2017 00:17:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/lfcs/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"HK3yph343vibEsojR","bibbaseid":"artmov-nerode-logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2013sandiegocausajanuary682013proceedings-2013","downloads":0,"creationDate":"2019-03-14T12:11:49.520Z","title":"Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings","author_short":null,"year":2013,"bibtype":"proceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Sergei","N."],"propositions":[],"lastnames":["Artëmov"],"suffixes":[]},{"firstnames":["Anil"],"propositions":[],"lastnames":["Nerode"],"suffixes":[]}],"title":"Logical Foundations of Computer Science, International Symposium, LFCS 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings","series":"Lecture Notes in Computer Science","volume":"7734","publisher":"Springer","year":"2013","url":"https://doi.org/10.1007/978-3-642-35722-0","doi":"10.1007/978-3-642-35722-0","isbn":"978-3-642-35721-3","timestamp":"Sun, 21 May 2017 00:17:45 +0200","biburl":"https://dblp.org/rec/bib/conf/lfcs/2013","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/lfcs/2013,\n editor = {Sergei N. Art{\\\"{e}}mov and\n Anil Nerode},\n title = {Logical Foundations of Computer Science, International Symposium,\n {LFCS} 2013, San Diego, CA, USA, January 6-8, 2013. Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {7734},\n publisher = {Springer},\n year = {2013},\n url = {https://doi.org/10.1007/978-3-642-35722-0},\n doi = {10.1007/978-3-642-35722-0},\n isbn = {978-3-642-35721-3},\n timestamp = {Sun, 21 May 2017 00:17:45 +0200},\n biburl = {https://dblp.org/rec/bib/conf/lfcs/2013},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Artëmov, S. N.","Nerode, A."],"key":"DBLP:conf/lfcs/2013","id":"DBLP:conf/lfcs/2013","bibbaseid":"artmov-nerode-logicalfoundationsofcomputerscienceinternationalsymposiumlfcs2013sandiegocausajanuary682013proceedings-2013","role":"editor","urls":{"Paper":"https://doi.org/10.1007/978-3-642-35722-0"},"downloads":0},"search_terms":["logical","foundations","computer","science","international","symposium","lfcs","2013","san","diego","usa","january","2013","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}