Realisierbarkeit in Semantik-geführter Synthese mit Eifer

Realisierbarkeits- und Realisierungslogik in Semantik-geführter Synthese.