Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Combining Theories with Shared Set Operations

Thomas Wies, Ruzica Piskac, and Viktor Kuncak

Details

Publication typeInproceedings
Published inSymposium on Frontiers of Combining Systems (FroCos 2009)
Pages366-382
Volume5749
SeriesLNCS
PublisherSpringer
> Publications > Combining Theories with Shared Set Operations