Combining Theories with Shared Set Operations

In  Symposium on Frontiers of Combining Systems (FroCos 2009)

Publisher  Springer

Details

TypeInproceedings
Pages366-382
Volume5749
SeriesLNCS
> Publications > Combining Theories with Shared Set Operations