Login / Signup
Osama Al-Hassani
Publication Activity (10 Years)
Years Active: 2012-2012
Publications (10 Years): 0
Top Topics
Term Rewriting
Theorem Prover
Knuth Bendix
Online Learning
Top Venues
RTA
</>
Publications
</>
Osama Al-Hassani
,
Quratul-ain Mahesar
,
Claudio Sacerdoti Coen
,
Volker Sorge
A Term Rewriting System for Kuratowski's Closure-Complement Problem.
RTA
(2012)