Differences
This shows you the differences between two versions of the page.
sav08:deciding_a_language_of_sets_and_relations [2008/04/03 13:45] vkuncak created |
sav08:deciding_a_language_of_sets_and_relations [2015/04/21 17:30] |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ====== Deciding a Language of Sets (and Relations) ====== | ||
- | |||
- | Consider a simple language of sets: | ||
- | |||
- | |||
- | * [[http://lara.epfl.ch/~kuncak/papers/KuncakRinard05DecisionProceduresSetValuedFields.html|Decision Procedures for Set-Valued Fields]] | ||