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

First Page	Meta 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

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