@proceedings{DBLP:conf/mfps/1989,
  editor    = {Michael G. Main and
               Austin Melton and
               Michael W. Mislove and
               David A. Schmidt},
  title     = {Mathematical Foundations of Programming Semantics, 5th International
               Conference, Tulane University, New Orleans, Louisiana, USA, March
               29 - April 1, 1989, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {442},
  publisher = {Springer},
  year      = {1990},
  url       = {https://doi.org/10.1007/BFb0040251},
  doi       = {10.1007/BFb0040251},
  isbn      = {3-540-97375-3},
  timestamp = {Fri, 19 May 2017 13:10:47 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/mfps/1989},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"RDFh2vswBJKdbLnFn","bibbaseid":"main-melton-mislove-schmidt-mathematicalfoundationsofprogrammingsemantics5thinternationalconferencetulaneuniversityneworleanslouisianausamarch29april11989proceedings-1990","downloads":0,"creationDate":"2019-03-14T12:11:49.580Z","title":"Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings","author_short":null,"year":1990,"bibtype":"proceedings","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"proceedings","type":"proceedings","editor":[{"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, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings","series":"Lecture Notes in Computer Science","volume":"442","publisher":"Springer","year":"1990","url":"https://doi.org/10.1007/BFb0040251","doi":"10.1007/BFb0040251","isbn":"3-540-97375-3","timestamp":"Fri, 19 May 2017 13:10:47 +0200","biburl":"https://dblp.org/rec/bib/conf/mfps/1989","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@proceedings{DBLP:conf/mfps/1989,\n editor = {Michael G. Main and\n Austin Melton and\n Michael W. Mislove and\n David A. Schmidt},\n title = {Mathematical Foundations of Programming Semantics, 5th International\n Conference, Tulane University, New Orleans, Louisiana, USA, March\n 29 - April 1, 1989, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {442},\n publisher = {Springer},\n year = {1990},\n url = {https://doi.org/10.1007/BFb0040251},\n doi = {10.1007/BFb0040251},\n isbn = {3-540-97375-3},\n timestamp = {Fri, 19 May 2017 13:10:47 +0200},\n biburl = {https://dblp.org/rec/bib/conf/mfps/1989},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","editor_short":["Main, M. G.","Melton, A.","Mislove, M. W.","Schmidt, D. A."],"key":"DBLP:conf/mfps/1989","id":"DBLP:conf/mfps/1989","bibbaseid":"main-melton-mislove-schmidt-mathematicalfoundationsofprogrammingsemantics5thinternationalconferencetulaneuniversityneworleanslouisianausamarch29april11989proceedings-1990","role":"editor","urls":{"Paper":"https://doi.org/10.1007/BFb0040251"},"downloads":0},"search_terms":["mathematical","foundations","programming","semantics","5th","international","conference","tulane","university","new","orleans","louisiana","usa","march","april","1989","proceedings"],"keywords":[],"authorIDs":[],"dataSources":["Efw79Fxo6HR8p6xBt"]}