× Logic Based Program Synthesis and Transformation10th International Workshop, LOPSTR 2000 London, UK, July 24-28, 2000 Selected Papersherausgegeben von Kung-Kiu LauIncludes supplementary material: sn. pub/extras Verfügbarkeit jetzt prüfen