Osama Al-Hassani

According to our database, Osama Al-Hassani authored at least 1 paper in 2012.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2012

A Term Rewriting System for Kuratowski's Closure-Complement Problem.

Osama Al-Hassani, Quratul-ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge

Proceedings of the 23rd International Conference on Rewriting Techniques and Applications (RTA'12) , 2012