الرئيسية › دليل الباحثين › El Benabbou

El Benabbou

الانتماء : Université Oran 1 Ahmed Ben Bella

• 1منشورات (انتماء جزائري)
• 1مجموع المنشورات
• 0الاستشهادات

OpenAlex

الملف البحثي

لدى El Benabbou 1 منشور(ات) مفهرسة (2012). شارك في تأليف أعماله 1 باحثًا على الأقل.

هل هذا أنت؟ عرّف بأبحاثك

أنشئ ملفك على DzCademia مجانًا وأضف مقالاتك: ستظهر بسهولة أكبر على Google وفي مساعدي الذكاء الاصطناعي مثل ChatGPT، فيقرؤها ويستشهد بها عدد أكبر من الناس.

إنشاء ملفي المجاني إضافة منشوراتي

مجالات البحث

• Logic, programming, and type systems
• Formal Methods in Verification
• Advanced Database Systems and Queries

المنشورات (1)

• Formal Specification by Coq of Date and Darwen’s Object/relational Model
  2012

المؤلفون المشاركون

• Safia Nait Bahloul

البيانات البيبليوغرافية مصدرها OpenAlex (قاعدة مفتوحة).