Login / Signup
Musa Al-hassy
Publication Activity (10 Years)
Years Active: 2015-2019
Publications (10 Years): 1
Top Topics
Noisy Data
Data Mining
Programming Language
Theoretical Basis
Top Venues
RAMiCS
GPCE
</>
Publications
</>
Musa Al-hassy
,
Jacques Carette
,
Wolfram Kahl
A language feature to unbundle data at will (short paper).
GPCE
(2019)
Musa Al-hassy
,
Wolfram Kahl
Mechanised Relation-Algebraic Order Theory in Ordered Categories without Meets.
RAMiCS
(2015)