-
1
المؤلفون: Priesnitz, Tim
المساهمون: Niehren, Joachim
مصطلحات موضوعية: Constraint-Erfüllung, subtype entailment, Untertyp, constraint language, Typinferenz, Constraint-Programmierung, ddc:004, ddc:620, subtype satisfiability
URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d052a94dd6acbaf4d66aff9abd2c44a7