Ordnungen, Verbände und Relationen mit Anwendungen

DOI10.1007/978-3-658-00619-8zbMath1254.06001OpenAlexW2482050818MaRDI QIDQ3145863

Rudolf Berghammer

Publication date: 17 December 2012

Full work available at URL: https://doi.org/10.1007/978-3-658-00619-8

zbMATH Keywords

latticefixed pointGalois connectionordercompletionrelational algebraaxiom of choiceRelView

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to ordered structures (06-01)

Related Items (4)

Multirelations with infinite computations ⋮ Factorizing lattices by interval relations ⋮ An algebraic approach to multirelations and their properties ⋮ Cardinality of relations with applications

Uses Software

• RelView

This page was built for publication: Ordnungen, Verbände und Relationen mit Anwendungen