@proceedings{DBLP:conf/lics/1992,
  title     = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science
               {(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},
  publisher = {{IEEE} Computer Society},
  year      = {1992},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=402},
  isbn      = {0-8186-2735-2},
  timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/lics/1992},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"L2xByph6EHb825QQX","bibbaseid":"anonymous-proceedingsoftheseventhannualsymposiumonlogicincomputersciencelics92santacruzcaliforniausajune22251992-1992","downloads":0,"creationDate":"2019-03-14T12:11:49.573Z","title":"Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), Santa Cruz, California, USA, June 22-25, 1992","author_short":null,"year":1992,"bibtype":"proceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","title":"Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), Santa Cruz, California, USA, June 22-25, 1992","publisher":"IEEE Computer Society","year":"1992","url":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=402","isbn":"0-8186-2735-2","timestamp":"Wed, 13 Feb 2019 11:42:19 +0100","biburl":"https://dblp.org/rec/bib/conf/lics/1992","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/lics/1992,\n title = {Proceedings of the Seventh Annual Symposium on Logic in Computer Science\n {(LICS} '92), Santa Cruz, California, USA, June 22-25, 1992},\n publisher = {{IEEE} Computer Society},\n year = {1992},\n url = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=402},\n isbn = {0-8186-2735-2},\n timestamp = {Wed, 13 Feb 2019 11:42:19 +0100},\n biburl = {https://dblp.org/rec/bib/conf/lics/1992},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","key":"DBLP:conf/lics/1992","id":"DBLP:conf/lics/1992","bibbaseid":"anonymous-proceedingsoftheseventhannualsymposiumonlogicincomputersciencelics92santacruzcaliforniausajune22251992-1992","urls":{"Paper":"http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=402"},"downloads":0},"search_terms":["proceedings","seventh","annual","symposium","logic","computer","science","lics","santa","cruz","california","usa","june","1992"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}