Item request has been placed!

Item request cannot be made.

Processing Request

نتائج البحث

Display Settings

النتائج لكل صفحة: 10

Sort By: Relevance

فلترة النتائج

Collection : Hal-Cea (Commissariat A L'energie Atomique Et Aux Energies Alternatives)

إعادة تعيين خيارات الفبترة

Item request has been placed!

Item request cannot be made.

Processing Request

Academic Journal

Giry and the Machine

Authors : Dahlqvist, Fredrik; Danos, Vincent; Garnier, Ilias ...

Subjects: Probability; Topology; Category theory

Source: ISSN: 1571-0661 ; Electronic Notes in Theoretical Computer Science ; https://hal.science/hal-01976386 ; Electronic Notes in Theoretical Computer Science, 2016, 325, pp.85-110.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Report

Abstract Interpretation using a Language of Symbolic Approximation

Authors : Lemerre, Matthieu; Bardin, Sébastien;

Subjects: [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

Source: https://cea.hal.science/cea-01673275 ; 2017.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي

Academic Journal

Saturating directed spaces

Authors : Hirschowitz, André; Hirschowitz, Michel; Hirschowitz, Tom ...

Subjects: Directed topology; AMS 54E99; [MATH.MATH-GN]Mathematics [math]/General Topology [math.GN]

Source: ISSN: 2193-8407.

تفاصيل العنوان

اقرأ أكثر حفظ في قائمتي