Follow
hamada mohamed
hamada mohamed
teacher egyption Archaeology dept., Faculty of Arts. Sohag Univ.,Egypt
Verified email at art.sohag.edu.eg
Title
Cited by
Cited by
Year
Strong completeness of a lazy conditional narrowing calculus
M Hamada, A Middeldorp
Proceedings of the 2nd Fuji International Workshop on Functional and Logic …, 1997
171997
Complete selection functions for a lazy conditional narrowing calculus
A Middeldorp, T Suzuki, M Hamada
Journal of Functional and Logic Programming 3, 2002, 2002
102002
Strong Completeness
M Hamada, A Middeldorp
Functional And Logic Programming-Proceedings Of The Second Fuji …, 1997
1997
The system can't perform the operation now. Try again later.
Articles 1–3