Follow
Zan Naeem
Zan Naeem
Research Engineer at QCRI
Verified email at hbku.edu.qa
Title
Cited by
Cited by
Year
Sequoia: A Playground for Logicians: (System Description)
G Reis, Z Naeem, M Hashim
Automated Reasoning: 10th International Joint Conference, IJCAR 2020, Paris …, 2020
62020
Unification of multisets with multiple labelled multiset variables
Z Naeem, G Reis
33rd International Workshop on Unification (UNIF), 2019
12019
The system can't perform the operation now. Try again later.
Articles 1–2