elib
DLR-Header
DLR-Logo -> http://www.dlr.de
DLR Portal Home | Imprint | Privacy Policy | Contact | Deutsch
Fontsize: [-] Text [+]

Algebraic Investigation of Connected Components

Glück, Roland (2017) Algebraic Investigation of Connected Components. In: LECTURE NOTES IN COMPUTER SCIENCE, 10226, pp. 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

Full text not available from this repository.

Official URL: http://link.springer.com/chapter/10.1007%2F978-3-319-57418-9_7

Abstract

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.

Item URL in elib:https://elib.dlr.de/112437/
Document Type:Conference or Workshop Item (Speech)
Title:Algebraic Investigation of Connected Components
Authors:
AuthorsInstitution or Email of AuthorsAuthors ORCID iD
Glück, RolandRoland.Glueck (at) dlr.dehttps://orcid.org/0000-0001-7909-1942
Date:May 2017
Journal or Publication Title:LECTURE NOTES IN COMPUTER SCIENCE
Refereed publication:Yes
Open Access:No
Gold Open Access:No
In SCOPUS:No
In ISI Web of Science:Yes
Volume:10226
DOI :10.1007/978-3-319-57418-9_7
Page Range:pp. 109-126
Editors:
EditorsEmail
Pous, DamienDamien.Pous@ens-lyon.fr
Struth, GeorgG.Struth@dcs.shef.ac.uk
Höfner, Peterpeter.hoefner@data61.csiro.au
Publisher:springer
Status:Published
Keywords:Connected Components Kleene Algebra Relation Algebra
Event Title:16th Int. Conf. on Relational and Algebraic Methods in Computer Science
Event Location:Lyon, Frankreich
Event Type:international Conference
Event Dates:15. - 18. Mai 2017
HGF - Research field:Aeronautics, Space and Transport
HGF - Program:Aeronautics
HGF - Program Themes:fixed-wing aircraft
DLR - Research area:Aeronautics
DLR - Program:L AR - Aircraft Research
DLR - Research theme (Project):L - Structures and Materials
Location: Augsburg
Institutes and Institutions:Institute of Structures and Design > Automation and Production Technology
Deposited By: Glück, Dr. Roland
Deposited On:21 Sep 2017 10:49
Last Modified:21 Sep 2017 10:49

Repository Staff Only: item control page

Browse
Search
Help & Contact
Information
electronic library is running on EPrints 3.3.12
Copyright © 2008-2017 German Aerospace Center (DLR). All rights reserved.