Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

نتائج البحث

Display Settings
النتائج لكل صفحة: 10
Sort By: Relevance
Filter
  • 1-2 of  2 نتائج ل ""Education--Research""

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

Collection : Universite Toulouse Iii - Paul Sabatier Geographic : lviv فلترة بواسطة : كلمات مفتاحية
إعادة تعيين خيارات الفبترة
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Provably correct graph transformations with small-tALC

Subjects: Programming language semantics; Tableau calculus; Description logicLviv; Ukraine

  • Source: ICTERI 2015 : Proceedings of the 11th International Conference on ICT in Education, Research and Industrial Applications: Integration,

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

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

Abstracting an Operational Semantics to Finite Automata

Subjects: Verification; Formal methods; AbstractionLviv; Ukraine

  • Source: Information and Communication Technologies in Education, Research, and Industrial Applications - 11th International Conference, ICTERI

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

اقرأ أكثر حفظ في قائمتي
×
  • 1-2 of  2 نتائج ل ""Education--Research""