Universität der Bundeswehr München: AtheneForschung
User: Guest
 
Login
de
en
Advanced search
Home / All Content
Publications (University Bibliography)
Projects
Electronic Accepted Theses
Open Access Publications
Fakultäten (univ.)
(1155)
Fakultät für Bauingenieurwesen und Umweltwissenschaften
(195)
Fakultät für Elektrotechnik und Informationstechnik
(66)
Fakultät für Humanwissenschaften
(158)
Fakultät für Informatik
(278)
INF 1 - Institut für Theoretische Informatik, Mathematik und Operations Research
(24)
INF 2 - Institut für Softwaretechnologie
(70)
INF 3 - Institut für Technische Informatik
(10)
INF 4 - Institut für Angewandte Informatik
(13)
INF 5 - Institut für Anwendungssicherheit
(13)
INF 6 - Institut für Systemsicherheit
(33)
INF 7 - Institut für Datensicherheit
(50)
INF 8 - Institut für Schutz und Zuverlässigkeit
(8)
Technische Berichte
(61)
Fakultät für Luft- und Raumfahrttechnik
(321)
Fakultät für Staats- und Sozialwissenschaften
(81)
Fakultät für Wirtschafts- und Organisationswissenschaften
(64)
Fakultäten (HAW)
(112)
An-Institute
Forschungszentren
(271)
Weitere Einrichtungen
(94)
Kongresse
(315)
Preprints
(33)
inside.unibw
(35)
Patents
Research Data
Research Profiles
Videos for the UniBw M Website
Digitized Media
Working Group E-Learning
University Library Documents
Home / Alle Inhalte
Open-Access-Publikationen
Fakultäten (univ.)
Fakultät für Informatik
Technische Berichte
Back
Back to start of result list
Permanent link for displayed object
Autor:
Kahl, Wolfram; Schmidt, Gunther
Titel:
Exploring (Finite) Relation Algebras using Tools written in Haskell
Verlegende Stelle:
Universität der Bundeswehr München, Fakultät für Informatik
Report-Nummer:
2000-02
Jahr, Monat:
2000-10
Hinweis:
Gedruckte Ausgabe im Bestand der UB UniBw M: Mag/YG142
BibTeX
versions
Shown version:
Current Version from 27.05.2022, 14:54:52 from c21cwolt
Other versions of the object:
Current version
(from 27.05.2022, 14:54:52 from c21cwolt)
Version 1
(from 11.07.2012, 08:08:46 from Buchner)
Version 2
(from 18.06.2019, 15:58:18 from c21cwolt)
Occurrences:
Home / Alle Inhalte
Publikationen (Universitätsbibliografie)
Fakultäten (univ.)
Fakultät für Informatik
Home / Alle Inhalte
Open-Access-Publikationen
Fakultäten (univ.)
Fakultät für Informatik
Technische Berichte