Login
Dokumenttyp:
Konferenzbeitrag / Conference Paper
Titel:
A point-free relation-algebraic approach to general topology
Titel Konferenzpublikation:
Relational and Algebraic Methods in Computer Science
Untertitel Konferenzpublikation:
14th International Conference, RAMiCS 2014, Marienstatt, Germany, April 28–May 1, 2014. Proceedings
Reihentitel:
Lecture Notes in Computer Science
Bandnummer Reihe:
8428
Konferenztitel:
Relational and Kleene-Algebraic Methods in Computer Science (14., 2014, Marienstatt)
Konferenztitel:
Relational and Algebraic Methods in Computer Science
Tagungsort:
Marienstatt
Jahr der Konferenz:
2014
Datum Beginn der Konferenz:
28.04.2014
Datum Ende der Konferenz:
01.05.2014
Jahr:
2014
Seiten von - bis:
226-241
Sprache:
Englisch
ISBN:
978-3-319-06250-1 ; 978-3-319-06251-8
ISSN:
0302-9743
Fakultät:
Fakultät für Informatik
Institut:
INF 2 - Institut für Softwaretechnologie
Professur:
Schmidt, Gunther
BibTeX