المؤلفون: Niehren, Joachim^Aff17, Priesnitz, Tim^Aff18, Su, Zhendong^Aff19

المساهمون: Hutchison, David, editor^Aff1, Kanade, Takeo, editor^Aff2, Kittler, Josef, editor^Aff3, Kleinberg, Jon M., editor^Aff4, Mattern, Friedemann, editor^Aff5, Mitchell, John C., editor^Aff6, Naor, Moni, editor^Aff7, Nierstrasz, Oscar, editor^Aff8, Pandu Rangan, C., editor^Aff9, Steffen, Bernhard, editor^Aff10, Sudan, Madhu, editor^Aff11, Terzopoulos, Demetri, editor^Aff12, Tygar, Dough, editor^Aff13, Vardi, Moshe Y., editor^Aff14, Weikum, Gerhard, editor^Aff15, Sagiv, Mooly, editor^Aff16

المصدر: Programming Languages and Systems : 14th European Symposium on Programming, ESOP 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2005, Edinburgh, UK, April 4-8, 2005. Proceedings. 3444:357-373

المؤلفون: Niehren, Joachim^Aff6, Priesnitz, Tim^Aff6

المساهمون: Goos, Gerhard, editor^Aff1, Hartmanis, Juris, editor^Aff2, van Leeuwen, Jan, editor^Aff3, Kobayashi, Naoki, editor^Aff4, Pierce, Benjamin C., editor^Aff5

المصدر: Theoretical Aspects of Computer Software : 4th International Symposium, TACS 2001 Sendai, Japan, October 29–31, 2001 Proceedings. 2215:360-384

المؤلفون: Niehren, Joachim^Aff6, Priesnitz, Tim^Aff6

المساهمون: Goos, Gerhard, editor^Aff1, Hartmanis, Juris, editor^Aff2, van Leeuwen, Jan, editor^Aff3, Thiagarajan, P. S., editor^Aff4, Yap, Roland, editor^Aff5

المصدر: Advances in Computing Science — ASIAN’99 : 5th Asian Computing Science Conference Phuket, Thailand, December 10–12,1999 Proceedings. 1742:251-265

المؤلفون: Niehren, Joachim, Priesnitz, Tim

المصدر: In Information and Computation 2003 186(2):319-354

المؤلفون: 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

المؤلفون: Su, Zhendong, Aiken, Alexander, Niehren, Joachim, Priesnitz, Tim, Treinen, Ralf

المساهمون: Department of Mathematics [Berkeley], University of California [Berkeley], University of California-University of California, Programming Systems Lab [Saarland], Saarland University [Saarbrücken], Laboratoire de Recherche en Informatique (LRI), Université Paris-Sud - Paris 11 (UP11)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)

المصدر: The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
The 29th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2002, Portland, United States. pp.203-216

مصطلحات موضوعية: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Subtyping Constraints, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, Entscheidbarkeit, Untertyp, ddc:004, ddc:620

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::ced0ae407fbac665f98e1fcce546a05e
https://hal.inria.fr/inria-00536828

المؤلفون: Sagiv, Mooly, Niehren, Joachim, Priesnitz, Tim, Su, Zhendong

المصدر: Programming Languages & Systems (9783540254355); 2005, p357-373, 17p

المؤلفون: Su, Zhendong, Aiken, Alexander, Niehren, Joachim, Priesnitz, Tim, Treinen, Ralf

المصدر: Proceedings of the 29th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/16/2002, p203-216, 14p

المؤلفون: Niehren, Joachim, Watches, Joachim

المساهمون: Priesnitz, Tim

الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:291-scidok-2942

المساهمون: Priesnitz, Tim

الإتاحة: http://nbn-resolving.de/urn:nbn:de:bsz:291-scidok-12811