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