A Term Rewriting System for Kuratowski’s Closure-Complement Problem∗ Osama Al-Hassani1 , Quratul-ain Mahesar1 , Claudio Sacerdoti Coen2 , and Volker Sorge1 1

First Page		Document Content
Date: 2012-05-15 04:30:46		A Term Rewriting System for Kuratowski’s Closure-Complement Problem∗ Osama Al-Hassani1 , Quratul-ain Mahesar1 , Claudio Sacerdoti Coen2 , and Volker Sorge1 1 Add to Reading List Source URL: www.cs.unibo.it Download Document from Source Website File Size: 631,15 KB Share Document on Facebook