{"page":"366 - 382","status":"public","extern":1,"publisher":"Springer","quality_controlled":0,"publist_id":"1098","year":"2009","alternative_title":["LNCS 5749"],"_id":"4360","title":"Combining Theories with Shared Set Operations","doi":"1558","author":[{"id":"447BFB88-F248-11E8-B48F-1D18A9856A87","full_name":"Thomas Wies","last_name":"Wies","first_name":"Thomas"},{"first_name":"Ruzica","last_name":"Piskac","full_name":"Piskac, Ruzica"},{"first_name":"Viktor","last_name":"Kuncak","full_name":"Kuncak, Viktor"}],"date_updated":"2021-01-12T07:56:24Z","month":"01","day":"01","date_created":"2018-12-11T12:08:27Z","publication_status":"published","date_published":"2009-01-01T00:00:00Z","type":"conference","conference":{"name":"FroCoS: Frontiers of Combining Systems"},"citation":{"apa":"Wies, T., Piskac, R., &#38; Kuncak, V. (2009). Combining Theories with Shared Set Operations (pp. 366–382). Presented at the FroCoS: Frontiers of Combining Systems, Springer. <a href=\"https://doi.org/1558\">https://doi.org/1558</a>","chicago":"Wies, Thomas, Ruzica Piskac, and Viktor Kuncak. “Combining Theories with Shared Set Operations,” 366–82. Springer, 2009. <a href=\"https://doi.org/1558\">https://doi.org/1558</a>.","mla":"Wies, Thomas, et al. <i>Combining Theories with Shared Set Operations</i>. Springer, 2009, pp. 366–82, doi:<a href=\"https://doi.org/1558\">1558</a>.","ista":"Wies T, Piskac R, Kuncak V. 2009. Combining Theories with Shared Set Operations. FroCoS: Frontiers of Combining Systems, LNCS 5749, , 366–382.","short":"T. Wies, R. Piskac, V. Kuncak, in:, Springer, 2009, pp. 366–382.","ieee":"T. Wies, R. Piskac, and V. Kuncak, “Combining Theories with Shared Set Operations,” presented at the FroCoS: Frontiers of Combining Systems, 2009, pp. 366–382.","ama":"Wies T, Piskac R, Kuncak V. Combining Theories with Shared Set Operations. In: Springer; 2009:366-382. doi:<a href=\"https://doi.org/1558\">1558</a>"}}