Combining Theories with Shared Set Operations
Thomas Wies, Ruzica Piskac, and Viktor Kuncak
2009
In Symposium on Frontiers of Combining Systems (FroCos 2009)
Publisher Springer
Details
| Type | Inproceedings |
| Pages | 366-382 |
| Volume | 5749 |
| Series | LNCS |
Related Labs
Share
