|
Author: | | Adam Grabowski |
Title: | | Solving Two Problems in General Topology Via Types |
Other: | | Types for Proofs and Programs International Workshop, TYPES 2004, Jouy‑en‑Josas, France, December 15‑18, 2004, Revised Selected Papers |
Type: | | conference paper |
Series: | | Lecture Notes in Computer Science |
Volume: | | 3839 |
English: | | http://www.springerlink.com/content/y2721t617643u225/ | DOI: | | 10.1007/11617990_9 |
Year: | | 2006 |
Pages: | | 138‑153 |
Publisher: | | Springer |
Location: | | Berlin, Germany |
MathSciNet: | | 2258055 |
ZBMATH: | | 1172.03309 |
OCLC: | | 108291007 |
Refscore:Refscore is the percentage of references cited by this item that are listed on this website. | | 40 |
|
Cited by: | | 2017 GG APeter Gammie, Gianpaolo Gioiosa, The Kuratowski Closure-Complement Theorem, Isabelle/HOL. Arch. Formal Proofs, 2017, pp. 1‑20. |
|
Cites: | | 2010 Sherman ADavid Sherman, Variations on Kuratowski’s 14‑Set Theorem, Amer. Math. Monthly, v. 117 no. 2, 2010, pp. 113‑123. |
| 2003 BG ALilla Krystyna Baginska, Adam Grabowski, On the Kuratowski Closure-Complement Problem, J. Formal. Math., v. 15, 2003, pp. 1‑6. |
| 2000 BW WMark Bowron, Eric W. Weisstein, Kuratowski’s Closure-Complement Problem, MathWorld — A Wolfram Web Resource, 2000. |
| 1994 DR WJohn C. D. Diamantopoulos, Dave Rusin, Math 550 HELP !!!, The Mathematical Atlas: A Gateway to Modern Mathematics, 1994. |
| 1971 Isomichi AYoshinori Isomichi, New Concepts in the Theory of Topological Space — Supercondensed Set, Subcondensed Set, and Condensed Set, Pacific J. Math., v. 38 no. 3, 1971, pp. 657‑668. |
| 1966 Kuratowski‑a BKazimierz Kuratowski, Topology. Volume I. New Edition, Revised and Augmented., English translation by Jan Jaworowski, 1966, pp. 41‑43. |
| 1955 Kelley BJohn L. Kelley, General Topology, 1955, p. 57. |
| 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. |
|