TY - RPRT A1 - Hofstedt, Petra A1 - Schwigon, S. T1 - Methoden zur automatischen Parallelisierung (Constraint-) logischer Programme Y1 - 2012 UR - https://opus4.kobv.de/opus4-UBICO/frontdoor/index/index/docId/6907 N1 - TUD-FI-97-08 PB - Techn. Univ. CY - Dresden ER -