---
_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'
...