المؤلفون: Baader, Franz, Théron, Clément

مصطلحات موضوعية: subsumption, FL₀, description logic, structural characterization, Subsumtion, FL₀, Beschreibungslogik, strukturelle Charakterisierung, info:eu-repo/classification/ddc/004, ddc:004

Relation: urn:nbn:de:bsz:14-qucosa2-785040; qucosa:78504

الاتاحة: https://tud.qucosa.de/id/qucosa%3A79620
https://tud.qucosa.de/api/qucosa%3A79620/attachment/ATT-0/

المؤلفون: Goubault-Larrecq, Jean, Jia, Xiaodong, Théron, Clément

مصطلحات موضوعية: Computer Science - Logic in Computer Science, D.3.1, F.3.2

URL الوصول: http://arxiv.org/abs/2106.16190

المؤلفون: GOUBAULT-LARRECQ, JEAN, XIAODONG JIA, THÉRON, CLÉMENT

المصدر: Journal of the ACM; Oct2023, Vol. 70 Issue 5, p1-63, 63p

مصطلحات موضوعية: PROGRAMMING languages, PROGRAMMING language semantics, PROGRAM transformation, REAL numbers

المؤلفون: Baader, Franz, Théron, Clément

المساهمون: Deutsche Forschungsgemeinschaft

المصدر: KI - Künstliche Intelligenz ; volume 34, issue 3, page 291-301 ; ISSN 0933-1875 1610-1987

الاتاحة: http://dx.doi.org/10.1007/s13218-020-00651-0
http://link.springer.com/content/pdf/10.1007/s13218-020-00651-0.pdf
http://link.springer.com/article/10.1007/s13218-020-00651-0/fulltext.html

المؤلفون: Technische Universität Dresden, Baader, Franz, Théron, Clément

مصطلحات الفهرس: subsumption, FL₀, description logic, structural characterization, Subsumtion, FL₀, Beschreibungslogik, strukturelle Charakterisierung, info:eu-repo/classification/ddc/004, ddc:004, info:eu-repo/semantics/acceptedVersion, doc-type:report, info:eu-repo/semantics/report, doc-type:Text

URL: urn:nbn:de:bsz:14-qucosa2-785040
qucosa:78504