Fingerprint
Dive into the research topics of 'A Term Rewriting System for Kuratowski’s Closure-Complement Problem'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
A Term Rewriting System for Kuratowski’s Closure-Complement Problem
Osama Al-Hassani, Quratul Ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
5
Citations
(Scopus)