Versenden
Drucken
Glück, Roland (2021) Isolated Sublattices and Their Application to Counting Closure Operators. In: 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021, 13027, Seiten 192-208. Springer. 19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, 2021-11-02 - 2021-11-05, Marseille, Frankreich. doi: 10.1007/978-3-030-88701-8_12. ISBN 978-3-030-88700-1.
![[img]](https://elib.dlr.de/style/images/fileicons/application_pdf.png) |
PDF
1MB |
Offizielle URL: https://link.springer.com/chapter/10.1007%2F978-3-030-88701-8_12
Kurzfassung
This paper investigates the interplay between isolated sublattices and closure operators. Isolated sublattices are a special kind of sublattices which can serve to diminish the number of elements of a lattice by means of a quotient. At the same time, there are simple formulae for the relationship between the number of closure operators in the original lattice and the quotient lattice induced by isolated sublattices. This connection can be used to derive an algorithm for counting closure operators, provided the lattice contains suitable isolated sublattices.
| elib-URL des Eintrags: | https://elib.dlr.de/145296/ | ||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Dokumentart: | Konferenzbeitrag (Vortrag) | ||||||||||||||||||||
| Titel: | Isolated Sublattices and Their Application to Counting Closure Operators | ||||||||||||||||||||
| Autoren: |
| ||||||||||||||||||||
| Datum: | 2021 | ||||||||||||||||||||
| Erschienen in: | 19th International Conference on Relational and Algebraic Methods in Computer Science, RAMiCS 2021 | ||||||||||||||||||||
| Referierte Publikation: | Ja | ||||||||||||||||||||
| Open Access: | Ja | ||||||||||||||||||||
| Gold Open Access: | Nein | ||||||||||||||||||||
| In SCOPUS: | Ja | ||||||||||||||||||||
| In ISI Web of Science: | Ja | ||||||||||||||||||||
| Band: | 13027 | ||||||||||||||||||||
| DOI: | 10.1007/978-3-030-88701-8_12 | ||||||||||||||||||||
| Seitenbereich: | Seiten 192-208 | ||||||||||||||||||||
| Herausgeber: |
| ||||||||||||||||||||
| Verlag: | Springer | ||||||||||||||||||||
| Name der Reihe: | Lecture Notes in Computer Science | ||||||||||||||||||||
| ISBN: | 978-3-030-88700-1 | ||||||||||||||||||||
| Status: | veröffentlicht | ||||||||||||||||||||
| Stichwörter: | Counting, Closure Operators, Isolated Sublattices, Lattice Theory | ||||||||||||||||||||
| Veranstaltungstitel: | 19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021 | ||||||||||||||||||||
| Veranstaltungsort: | Marseille, Frankreich | ||||||||||||||||||||
| Veranstaltungsart: | internationale Konferenz | ||||||||||||||||||||
| Veranstaltungsbeginn: | 2 November 2021 | ||||||||||||||||||||
| Veranstaltungsende: | 5 November 2021 | ||||||||||||||||||||
| HGF - Forschungsbereich: | Luftfahrt, Raumfahrt und Verkehr | ||||||||||||||||||||
| HGF - Programm: | Raumfahrt | ||||||||||||||||||||
| HGF - Programmthema: | Technik für Raumfahrtsysteme | ||||||||||||||||||||
| DLR - Schwerpunkt: | Raumfahrt | ||||||||||||||||||||
| DLR - Forschungsgebiet: | R SY - Technik für Raumfahrtsysteme | ||||||||||||||||||||
| DLR - Teilgebiet (Projekt, Vorhaben): | R - Projekt Factory of the Future | ||||||||||||||||||||
| Standort: | Augsburg | ||||||||||||||||||||
| Institute & Einrichtungen: | Institut für Bauweisen und Strukturtechnologie > Automation und Produktionstechnologie | ||||||||||||||||||||
| Hinterlegt von: | Glück, Dr. Roland | ||||||||||||||||||||
| Hinterlegt am: | 10 Nov 2021 13:39 | ||||||||||||||||||||
| Letzte Änderung: | 24 Apr 2024 20:44 |
Nur für Mitarbeiter des Archivs: Kontrollseite des Eintrags
