elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Impressum | Datenschutz | Kontakt | English
Schriftgröße: [-] Text [+]

Algebraic Investigation of Connected Components

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:
AutorenInstitution oder E-Mail-AdresseAutoren-ORCID-iDORCID Put Code
Glück, RolandRoland.Glueck (at) dlr.dehttps://orcid.org/0000-0001-7909-1942NICHT SPEZIFIZIERT
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:
HerausgeberInstitution und/oder E-Mail-Adresse der HerausgeberHerausgeber-ORCID-iDORCID Put Code
Pous, DamienDamien.Pous (at) ens-lyon.frNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Struth, GeorgG.Struth (at) dcs.shef.ac.ukNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
Höfner, Peterpeter.hoefner (at) data61.csiro.auNICHT SPEZIFIZIERTNICHT SPEZIFIZIERT
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

Blättern
Suchen
Hilfe & Kontakt
Informationen
electronic library verwendet EPrints 3.3.12
Gestaltung Webseite und Datenbank: Copyright © Deutsches Zentrum für Luft- und Raumfahrt (DLR). Alle Rechte vorbehalten.