Login
Document type:
Konferenzbeitrag / Conference Paper
Title:
A point-free relation-algebraic approach to general topology
Title of conference publication:
Relational and Algebraic Methods in Computer Science
Subtitle of conference publication:
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings
Series title:
Lecture Notes in Computer Science
Series volume:
8428
Conference title:
Relational and Kleene-Algebraic Methods in Computer Science (14., 2014, Marienstatt)
Conference title:
Relational and Algebraic Methods in Computer Science
Venue:
Marienstatt
Year of conference:
2014
Date of conference beginning:
28.04.2014
Date of conference ending:
01.05.2014
Year:
2014
Pages from - to:
226-241
Language:
Englisch
ISBN:
978-3-319-06250-1 ; 978-3-319-06251-8
ISSN:
0302-9743
Department:
Fakultät für Informatik
Institute:
INF 2 - Institut für Softwaretechnologie
Chair:
Schmidt, Gunther
BibTeX