list | abstracts | bib ]

On Combining Theories with Shared Set Operations

paper pdf   

Citation

Thomas Wies, Ruzica Piskac, and Viktor Kuncak. On combining theories with shared set operations. Technical Report LARA-REPORT-2009-002, EPFL, May 9 2009.

BibTex Entry

@TECHREPORT{WiesETAL09OnCombiningTheorieswithSharedSetOperations,
  author = {Thomas Wies and Ruzica Piskac and Viktor Kuncak},
  title = {On Combining Theories with Shared Set Operations},
  institution = {EPFL},
  number = {LARA-REPORT-2009-002},
  year = 2009,
  month = {May 9},
  localurl = {http://lara.epfl.ch/~kuncak/papers/WiesETAL09OnCombiningTheorieswithSharedSetOperations.pdf}
}

list | abstracts | bib ]