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: |
| ||||||||||||
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: |
| ||||||||||||
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 (old) | ||||||||||||
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