اختيار الموقع            تسجيل دخول
 

المؤلفين المشاركين
 أحمد الحسين السيد مجاهد
  عدد المقالات  : 5
 

On Martin-L?f Type Theory and MuType System
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 54-83
تم النشر في  : The Egyptian Computer Journal, ISSR, Cairo Univ.
تم النشر بتاريخ  : 01/11/1997




From Martin-L?f’s Syntax to MuType Syntax
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 245-260
تم النشر في  : Scientafic Bulletin, Faculty of Engineering, Ain Shames Univ
تم النشر بتاريخ  : 30/06/2000




Proof Editor System Based on Martin-L?f Type Theory (PESM)
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza

الصفحات  pp. 26-35
تم النشر في  : International Journal of Intelligent Computing & Information Science, Faculty of Computer & Information Science, Ain Shams University
تم النشر بتاريخ  : 01/10/2002




Specification with a Mechanization of Martin-L?f’s Type Theory
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.
طاهر توفيق أحمد حمزة - جامعة المنصورة - كلية الحاسبات والمعلومات - Taher Tawfik Ahmed Hamza


تم النشر في  : Egyptian Informatics Journal, Faculty of Computers & Information, Cairo Univ
تم النشر بتاريخ  : 01/01/2004




Automatic Program Verification in Martin-L?f’s Type Theoryhttp://faculty.ksu.edu.sa/Naghamish/Pages/paper5.aspx
 أحمد الحسين السيد مجاهد - جامعة المنصورة - كلية الحاسبات والمعلومات - Naghamish A. A.




 


Powered by Future Library Software.All rights reserved © CITC - Mansoura University. Sponsored by Mansoura University