%0 Report
%D 2016
%T Interval Algerbras: A Formalized Treatment
%A Hend Dawood
%A Yasser Dawood
%C Giza
%I Department of Mathematics, Faculty of Science, Cairo University
%X The theories of classical intervals, modal intervals, and constraint intervals are formally constructed and their mathematical structures are in-depth investigated.

%8 2016