Stem kuratowski$ (all stems)
3 papers:
RTA-2012-Al-HassaniMCS #problem #term rewriting- A Term Rewriting System for Kuratowski’s Closure-Complement Problem (OAH, QaM, CSC, VS), pp. 38–52.
DLT-J-2009-BrzozowskiGS11 #formal method #theorem- Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 301–321.
- DLT-2009-BrzozowskiGS #formal method #theorem
- Closures in Formal Languages and Kuratowski’s Theorem (JAB, EG, JS), pp. 125–144.