|
Authors: | | Osama Al-Hassani, Quratul‑ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge |
Title: | | A Term Rewriting System for Kuratowski’s Closure-Complement Problem |
Other: | | Proceedings of the 23rd International Conference on Rewriting Techniques and Applications, RTA 2012, Nagoya, Japan, Monday, May 28, 2012 to Saturday, June 2, 2012 |
Type: | | conference paper |
Series: | | Leibniz International Proceedings in Informatics (LIPIcs) |
Volume: | | 15 |
English: | | http://drops.dagstuhl.de/opus/volltexte/2012/3483/ | DOI: | | 10.4230/LIPIcs.RTA.2012.38 |
Year: | | 2012 |
Pages: | | 38‑52 |
Publisher: | | Schloss Dagstuhl — Leibniz Center for Informatics |
Location: | | Dagstuhl, Germany |
Refscore:Refscore is the percentage of references cited by this item that are listed on this website. | | 33 |
|
Cited by: | | 2014 Mahesar DQuratul‑ain Mahesar, Computing Relatively Large Algebraic Structures by Automated Theory Exploration, 2014, pp. 103‑186. |
| 2012 AMSS‑b AOsama Al-Hassani, Quratul‑ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge, Solving Kuratowski Problems by Term Rewriting, Proceedings of the 19th Automated Reasoning Workshop, 2‑4 April 2012, Manchester UK, edited by Fabio Papacchini, Renate A. Schmidt, pp. 51‑52. |
|
Cites: | | 2008 GJ AB. J. Gardner, Marcel Jackson, The Kuratowski Closure-Complement Theorem, New Zealand J. Math., v. 38, 2008, pp. 9‑44. |
| 2000 WY AHe Wei, Zhang Yaoming, Interior and Boundary in a Locale, Adv. Math., v. 29, 2000, pp. 439‑443. |
| 1922 Kuratowski AKazimierz Kuratowski, Sur l'Opération Ā de l'Analysis Situs (On the Topological Closure Operation), Fund. Math., v. 3, 1922, pp. 182‑199, in French. |
|