{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:59:25Z","timestamp":1762459165584},"publisher-location":"Cham","reference-count":8,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319062501"},{"type":"electronic","value":"9783319062518"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06251-8_14","type":"book-chapter","created":{"date-parts":[[2014,4,8]],"date-time":"2014-04-08T01:32:39Z","timestamp":1396920759000},"page":"226-241","source":"Crossref","is-referenced-by-count":1,"title":["A Point-Free Relation-Algebraic Approach to General Topology"],"prefix":"10.1007","author":[{"given":"Gunther","family":"Schmidt","sequence":"first","affiliation":[]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Bird, R.S., de Moor, O.: Algebra of Programming. Prentice-Hall International (1996)","key":"14_CR1","DOI":"10.1007\/978-3-642-61455-2_12"},{"doi-asserted-by":"crossref","unstructured":"de Roever, W.-P., Engelhardt, K.: Data Refinement: Model-Oriented Proof Methods and their Comparison. Cambridge Tracts in Theoretical Computer Science, vol.\u00a047. Cambridge University Press (1998)","key":"14_CR2","DOI":"10.1017\/CBO9780511663079"},{"unstructured":"Franz, W.: Topologie I. Sammlung G\u00f6schen 1181. Walter de Gruyter (1960)","key":"14_CR3"},{"unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relationen und Graphen. Mathematik f\u00fcr Informatiker. Springer (1989) ISBN 3-540-50304-8, ISBN 0-387-50304-8","key":"14_CR4"},{"unstructured":"Schmidt, G., Str\u00f6hlein, T.: Relations and Graphs \u2014 Discrete Mathematics for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer (1993) ISBN 3-540-56254-0, ISBN 0-387-56254-0","key":"14_CR5"},{"unstructured":"Schmidt, G.: Relational Language. Technical Report 2003-05, Fakult\u00e4t f\u00fcr Informatik, Universit\u00e4t der Bundeswehr M\u00fcnchen, 101 pages (2003), \n                    \n                      http:\/\/mucob.dyndns.org:30531\/~gs\/Papers\/LanguageProposal.html","key":"14_CR6"},{"unstructured":"Schmidt, G.: Relational Mathematics, Encyclopedia of Mathematics and its Applications, vol.\u00a0132, 584 p. Cambridge University Press (2011) ISBN 978-0-521-76268-7","key":"14_CR7"},{"unstructured":"Schmidt, G.: TituRel: Sprache f\u00fcr die Relationale Mathematik. Technical Report 132, Arbeitsberichte des Instituts f\u00fcr Wirtschaftsinformatik, Universit\u00e4t M\u00fcnster, 11 pages (2011), \n                    \n                      http:\/\/mucob.dyndns.org:30531\/~gs\/Papers\/Raesfeld2011ExtendedAbstract.pdf","key":"14_CR8"}],"container-title":["Lecture Notes in Computer Science","Relational and Algebraic Methods in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06251-8_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,26]],"date-time":"2019-05-26T14:27:15Z","timestamp":1558880835000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-06251-8_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319062501","9783319062518"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06251-8_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}