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