Versenden
Drucken
Glück, Roland (2017) Algebraic Investigation of Connected Components. In: LECTURE NOTES IN COMPUTER SCIENCE, 10226, Seiten 109-126. springer. 16th Int. Conf. on Relational and Algebraic Methods in Computer Science, 2017-05-15 - 2017-05-18, Lyon, Frankreich. doi: 10.1007/978-3-319-57418-9_7. ISSN 0302-9743.
Dieses Archiv kann nicht den Volltext zur Verfügung stellen.
Offizielle URL: http://link.springer.com/chapter/10.1007%2F978-3-319-57418-9_7
Kurzfassung
This paper characterizes connected components of both directed and undirected graphs as atomic fixpoints. As algebraic structure for our investigations we combine complete Boolean algebras with the well-known theory of Kleene Algebra with domain. Using diamond operators as an algebraic generalization of relational image and preimage we show how connected components can be modeled as atomic fixpoints of functions operating on tests and prove some advanced theorems concerning connected components.
| elib-URL des Eintrags: | https://elib.dlr.de/112437/ | ||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||
| Titel: | Algebraic Investigation of Connected Components | ||||||||||||||||
| Autoren: |
| ||||||||||||||||
| Datum: | Mai 2017 | ||||||||||||||||
| Erschienen in: | LECTURE NOTES IN COMPUTER SCIENCE | ||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||
| Open Access: | Nein | ||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||
| In SCOPUS: | Nein | ||||||||||||||||
| In ISI Web of Science: | Ja | ||||||||||||||||
| Band: | 10226 | ||||||||||||||||
| DOI: | 10.1007/978-3-319-57418-9_7 | ||||||||||||||||
| Seitenbereich: | Seiten 109-126 | ||||||||||||||||
| Herausgeber: |
| ||||||||||||||||
| Verlag: | springer | ||||||||||||||||
| Name der Reihe: | Lecture notes in Computer Science | ||||||||||||||||
| ISSN: | 0302-9743 | ||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||
| Stichwörter: | Connected Components Kleene Algebra Relation Algebra | ||||||||||||||||
| Veranstaltungstitel: | 16th Int. Conf. on Relational and Algebraic Methods in Computer Science | ||||||||||||||||
| Veranstaltungsort: | Lyon, Frankreich | ||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||
| Veranstaltungsbeginn: | 15 Mai 2017 | ||||||||||||||||
| Veranstaltungsende: | 18 Mai 2017 | ||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||
| HGF - Programm: | Luftfahrt | ||||||||||||||||
| HGF - Programmthema: | Flugzeuge | ||||||||||||||||
| DLR - Schwerpunkt: | Luftfahrt | ||||||||||||||||
| DLR - Forschungsgebiet: | L AR - Aircraft Research | ||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | L - Strukturen und Werkstoffe (alt) | ||||||||||||||||
| Standort: | Augsburg | ||||||||||||||||
| Institute & Einrichtungen: | Institut für Bauweisen und Strukturtechnologie > Automation und Produktionstechnologie | ||||||||||||||||
| Hinterlegt von: | Glück, Dr. Roland | ||||||||||||||||
| Hinterlegt am: | 21 Sep 2017 10:49 | ||||||||||||||||
| Letzte Änderung: | 24 Apr 2024 20:17 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
