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, 15. - 18. Mai 2017, 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:

Autoren	Institution oder E-Mail-Adresse	Autoren-ORCID-iD	ORCID Put Code
Glück, Roland	Roland.Glueck (at) dlr.de	https://orcid.org/0000-0001-7909-1942	NICHT SPEZIFIZIERT

Datum:

Mai 2017

Erschienen in:

LECTURE NOTES IN COMPUTER SCIENCE

Referierte Publikation:

Open Access:

Nein

Gold Open Access:

Nein

In SCOPUS:

Nein

In ISI Web of Science:

Band:

10226

DOI:

10.1007/978-3-319-57418-9_7

Seitenbereich:

Seiten 109-126

Herausgeber:

Herausgeber	Institution und/oder E-Mail-Adresse der Herausgeber	Herausgeber-ORCID-iD	ORCID Put Code
Pous, Damien	Damien.Pous (at) ens-lyon.fr	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Struth, Georg	G.Struth (at) dcs.shef.ac.uk	NICHT SPEZIFIZIERT	NICHT SPEZIFIZIERT
Höfner, Peter	peter.hoefner (at) data61.csiro.au	NICHT SPEZIFIZIERT	NICHT 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

Veranstaltungsdatum:

15. - 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:

20 Nov 2023 13:24

Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags