Most General Property-Preserving Updates. Bresolin, D. & Lanese, I. In Drewes, F., Martín-Vide, C., & Truthe, B., editors, Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings, volume 10168, of Lecture Notes in Computer Science, pages 367–379, 2017.
Paper
Pdf
Slides doi bibtex 3 downloads @inproceedings{LATA2017,
author = {Davide Bresolin and
Ivan Lanese},
editor = {Frank Drewes and
Carlos Mart{\'{\i}}n{-}Vide and
Bianca Truthe},
title = {Most General Property-Preserving Updates},
booktitle = {Language and Automata Theory and Applications - 11th International
Conference, {LATA} 2017, Ume{\aa}, Sweden, March 6-9, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10168},
pages = {367--379},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-53733-7\_27},
doi = {10.1007/978-3-319-53733-7\_27},
url_pdf = {fulltext/lata2017.pdf},
url_Slides = {../work/lata2017-Bresolin.pdf},
keywords = {Automata, Adaptation}
}
Downloads: 3
{"_id":"gxsoufoeJTASvQ5hD","bibbaseid":"bresolin-lanese-mostgeneralpropertypreservingupdates-2017","author_short":["Bresolin, D.","Lanese, I."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Bresolin"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Lanese"],"suffixes":[]}],"editor":[{"firstnames":["Frank"],"propositions":[],"lastnames":["Drewes"],"suffixes":[]},{"firstnames":["Carlos"],"propositions":[],"lastnames":["Martín-Vide"],"suffixes":[]},{"firstnames":["Bianca"],"propositions":[],"lastnames":["Truthe"],"suffixes":[]}],"title":"Most General Property-Preserving Updates","booktitle":"Language and Automata Theory and Applications - 11th International Conference, LATA 2017, Umeå, Sweden, March 6-9, 2017, Proceedings","series":"Lecture Notes in Computer Science","volume":"10168","pages":"367–379","year":"2017","url":"https://doi.org/10.1007/978-3-319-53733-7\\_27","doi":"10.1007/978-3-319-53733-7_27","url_pdf":"fulltext/lata2017.pdf","url_slides":"../work/lata2017-Bresolin.pdf","keywords":"Automata, Adaptation","bibtex":"@inproceedings{LATA2017,\n author = {Davide Bresolin and\n Ivan Lanese},\n editor = {Frank Drewes and\n Carlos Mart{\\'{\\i}}n{-}Vide and\n Bianca Truthe},\n title = {Most General Property-Preserving Updates},\n booktitle = {Language and Automata Theory and Applications - 11th International\n Conference, {LATA} 2017, Ume{\\aa}, Sweden, March 6-9, 2017, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {10168},\n pages = {367--379},\n year = {2017},\n url = {https://doi.org/10.1007/978-3-319-53733-7\\_27},\n doi = {10.1007/978-3-319-53733-7\\_27},\n url_pdf = {fulltext/lata2017.pdf},\n url_Slides = {../work/lata2017-Bresolin.pdf}, \n keywords = {Automata, Adaptation} \n}\n\n","author_short":["Bresolin, D.","Lanese, I."],"editor_short":["Drewes, F.","Martín-Vide, C.","Truthe, B."],"key":"LATA2017","id":"LATA2017","bibbaseid":"bresolin-lanese-mostgeneralpropertypreservingupdates-2017","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-53733-7\\_27"," pdf":"https://www.cs.unibo.it/~lanese/newpublications/fulltext/lata2017.pdf"," slides":"https://www.cs.unibo.it/~lanese/work/lata2017-Bresolin.pdf"},"keyword":["Automata","Adaptation"],"metadata":{"authorlinks":{}},"downloads":3},"bibtype":"inproceedings","biburl":"https://www.cs.unibo.it/~lanese/newpublications/mybib.bib","dataSources":["xnhiQv9oHMigrP4yD","S2GkQK7zrj9q2HwGy"],"keywords":["automata","adaptation"],"search_terms":["general","property","preserving","updates","bresolin","lanese"],"title":"Most General Property-Preserving Updates","year":2017,"downloads":3}