Nelson-Oppen für konvexe Theorien

für entscheidbare Theorien T1,..., Tn:

(Beispiele)

(Beweis)



2009-06-22