Back to Results
First PageMeta Content



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

Document Date: 2012-05-15 04:30:46


Open Document

File Size: 631,15 KB

Share Result on Facebook
UPDATE