The Semantics of Corrections. Rudin, D., DeVries, K., Duek, K., Kraus, K., & Brasoveanu, A. In Väänänen, J. A., Hirvonen, Å., & de Queiroz, R. J. G. B., editors, WoLLIC, volume 9803, of Lecture Notes in Computer Science, pages 358-374, 2016. Springer. Link Paper bibtex
Downloads: 0
{"_id":"23zpBCN2zecq6oHYg","bibbaseid":"rudin-devries-duek-kraus-brasoveanu-thesemanticsofcorrections-2016","author_short":["Rudin, D.","DeVries, K.","Duek, K.","Kraus, K.","Brasoveanu, A."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2017-05-25T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Rudin"],"firstnames":["Deniz"],"suffixes":[]},{"propositions":[],"lastnames":["DeVries"],"firstnames":["Karl"],"suffixes":[]},{"propositions":[],"lastnames":["Duek"],"firstnames":["Karen"],"suffixes":[]},{"propositions":[],"lastnames":["Kraus"],"firstnames":["Kelsey"],"suffixes":[]},{"propositions":[],"lastnames":["Brasoveanu"],"firstnames":["Adrian"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/2cec893d420631ff67ca3fe65556563d7/dblp","booktitle":"WoLLIC","crossref":"conf/wollic/2016","editor":[{"propositions":[],"lastnames":["Väänänen"],"firstnames":["Jouko","A."],"suffixes":[]},{"propositions":[],"lastnames":["Hirvonen"],"firstnames":["Åsa"],"suffixes":[]},{"propositions":["de"],"lastnames":["Queiroz"],"firstnames":["Ruy","J.","G.","B."],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-662-52921-8_22","interhash":"d1f5ead99fe3d47e27ff8a1e3f10d0bf","intrahash":"cec893d420631ff67ca3fe65556563d7","isbn":"978-3-662-52920-1","keywords":"dblp","pages":"358-374","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2019-05-15T12:00:52.000+0200","title":"The Semantics of Corrections.","url":"http://dblp.uni-trier.de/db/conf/wollic/wollic2016.html#RudinDDKB16","volume":"9803","year":"2016","author_short":["Rudin, D.","DeVries, K.","Duek, K.","Kraus, K.","Brasoveanu, A."],"editor_short":["Väänänen, J. A.","Hirvonen, Å.","de Queiroz, R. J. G. B."],"key":"conf/wollic/RudinDDKB16","id":"conf/wollic/RudinDDKB16","bibbaseid":"rudin-devries-duek-kraus-brasoveanu-thesemanticsofcorrections-2016","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-662-52921-8_22","Paper":"http://dblp.uni-trier.de/db/conf/wollic/wollic2016.html#RudinDDKB16"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/RUDIN?items=1000","dataSources":["LWrPNL4QgNsXPRuNg"],"keywords":["dblp"],"search_terms":["semantics","corrections","rudin","devries","duek","kraus","brasoveanu"],"title":"The Semantics of Corrections.","year":2016}