10.22028/D291-25888
Priesnitz, Tim
Subtype satisfiability and entailment
Universität des Saarlandes
2004
Typinferenz
Constraint-Programmierung
Untertyp
Constraint-Erfüllung
004
constraint language
subtype satisfiability
subtype entailment
Universität des Saarlandes
Universität des Saarlandes
2007-09-08
2017-07-12
2007-09-08
2004
en
doctoralThesis
urn:nbn:de:bsz:291-scidok-12811
hdl:20.500.11880/25944