|
Authors: | | Osama Al-Hassani, Quratul‑ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge |
Title: | | Solving Kuratowski Problems by Term Rewriting |
Other: | | Proceedings of the 19th Automated Reasoning Workshop, 2‑4 April 2012, Manchester UK |
Type: | | conference paper |
English: | | http://www.escholar.manchester.ac.uk/uk-ac-man-scw:161817 |
Year: | | 2012 |
Pages: | | 51‑52 |
Publisher: | | School of Computer Science, University of Manchester |
Location: | | Manchester, UK |
Refscore:Refscore is the percentage of references cited by this item that are listed on this website. | | 50 |
|
Cited by: | | 2014 Mahesar DQuratul‑ain Mahesar, Computing Relatively Large Algebraic Structures by Automated Theory Exploration, 2014, pp. 103‑186. |
|
Cites: | | 2012 AMSS‑a AOsama Al-Hassani, Quratul‑ain Mahesar, Claudio Sacerdoti Coen, Volker Sorge, A Term Rewriting System for Kuratowski’s Closure-Complement Problem, Proceedings of the 23rd International Conference on Rewriting Techniques and Applications, RTA 2012, Nagoya, Japan, Monday, May 28, 2012 to Saturday, June 2, 2012, Leibniz International Proceedings in Informatics (LIPIcs), v. 15, edited by Ashish Tiwari, pp. 38‑52. |
| 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. |
|