- Titel
- Clausal Relations and C-clones
- Zitierfähige Url:
- https://nbn-resolving.org/urn:nbn:de:bsz:14-qucosa-70905
- Datum der Einreichung
- 02.03.2011
- Datum der Verteidigung
- 26.05.2011
- Abstract (EN)
- We introduce a special set of relations on a finite set, called clausal relations. A restricted version of the Galois connection between polymorphisms and invariants, called Pol-CInv, is studied, where the invariant relations are clausal relations. Clones arising from this Galois connection, so-called C-clones, are investigated. Finally, we show that clausal relations meet a sufficient condition that is known to ensure polynomial time solvability of the corresponding CSP.
- Freie Schlagwörter (DE)
- Klone, Galoisverbindung, Klausale Relationen und C-Klone
- Freie Schlagwörter (EN)
- Clones, Galois connection, Clausal relation and C-clones
- Klassifikation (DDC)
- 512, 510
- Klassifikation (RVK)
- SK 200
- GutachterIn
- Prof. Dr. rer. nat. habil Reinhard Pöschel
- Prof. Dr. Dr. hc. Klaus Denecke
- BetreuerIn
- Prof. Dr. rer. nat. habil Reinhard Pöschel
- Den akademischen Grad verleihende / prüfende Institution
- Technische Universität Dresden, Dresden
- URN Qucosa
- urn:nbn:de:bsz:14-qucosa-70905
- Veröffentlichungsdatum Qucosa
- 20.07.2011
- Dokumenttyp
- Dissertation
- Sprache des Dokumentes
- Englisch
- Lizenz / Rechtehinweis
