@inproceedings{,
    author = {Schmidt, Gunther},
    title = {A point-free relation-algebraic approach to general topology},
    editor = {},
    booktitle = {Relational and Algebraic Methods in Computer Science : 14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings},
    series = {Lecture Notes in Computer Science},
    journal = {},
    address = {},
    publisher = {},
    edition = {},
    year = {2014},
    isbn = {978-3-319-06250-1 ; 978-3-319-06251-8},
    volume = {8428},
    number =  {},
    pages = {226-241},
    url = {},
    doi = {10.1007/978-3-319-06251-8_14},
    keywords = {},
    abstract = {},
    note = {},
    institution = {Universität der Bundeswehr München, Fakultät für Informatik, INF 2 - Institut für Softwaretechnologie, Professur: Schmidt, Gunther},
    
    
}