@proceedings{DBLP:conf/mfps/1991,
  editor    = {Stephen D. Brookes and
               Michael G. Main and
               Austin Melton and
               Michael W. Mislove and
               David A. Schmidt},
  title     = {Mathematical Foundations of Programming Semantics, 7th International
               Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {598},
  publisher = {Springer},
  year      = {1992},
  url       = {https://doi.org/10.1007/3-540-55511-0},
  doi       = {10.1007/3-540-55511-0},
  isbn      = {3-540-55511-0},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfps/1991},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"Fzi82B4fW66Xwmy9R","bibbaseid":"brookes-main-melton-mislove-schmidt-mathematicalfoundationsofprogrammingsemantics7thinternationalconferencepittsburghpausamarch25281991proceedings-1992","downloads":0,"creationDate":"2019-03-14T12:11:49.577Z","title":"Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings","author_short":null,"year":1992,"bibtype":"proceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"firstnames":["Stephen","D."],"propositions":[],"lastnames":["Brookes"],"suffixes":[]},{"firstnames":["Michael","G."],"propositions":[],"lastnames":["Main"],"suffixes":[]},{"firstnames":["Austin"],"propositions":[],"lastnames":["Melton"],"suffixes":[]},{"firstnames":["Michael","W."],"propositions":[],"lastnames":["Mislove"],"suffixes":[]},{"firstnames":["David","A."],"propositions":[],"lastnames":["Schmidt"],"suffixes":[]}],"title":"Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings","series":"Lecture Notes in Computer Science","volume":"598","publisher":"Springer","year":"1992","url":"https://doi.org/10.1007/3-540-55511-0","doi":"10.1007/3-540-55511-0","isbn":"3-540-55511-0","timestamp":"Sat, 20 May 2017 15:32:50 +0200","biburl":"https://dblp.org/rec/bib/conf/mfps/1991","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/mfps/1991,\n editor = {Stephen D. Brookes and\n Michael G. Main and\n Austin Melton and\n Michael W. Mislove and\n David A. Schmidt},\n title = {Mathematical Foundations of Programming Semantics, 7th International\n Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {598},\n publisher = {Springer},\n year = {1992},\n url = {https://doi.org/10.1007/3-540-55511-0},\n doi = {10.1007/3-540-55511-0},\n isbn = {3-540-55511-0},\n timestamp = {Sat, 20 May 2017 15:32:50 +0200},\n biburl = {https://dblp.org/rec/bib/conf/mfps/1991},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Brookes, S. D.","Main, M. G.","Melton, A.","Mislove, M. W.","Schmidt, D. A."],"key":"DBLP:conf/mfps/1991","id":"DBLP:conf/mfps/1991","bibbaseid":"brookes-main-melton-mislove-schmidt-mathematicalfoundationsofprogrammingsemantics7thinternationalconferencepittsburghpausamarch25281991proceedings-1992","role":"editor","urls":{"Paper":"https://doi.org/10.1007/3-540-55511-0"},"downloads":0},"search_terms":["mathematical","foundations","programming","semantics","7th","international","conference","pittsburgh","usa","march","1991","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}