Berghammer, Rudolf, 1952-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Berghammer, Rudolf.
Berghammer, R. (Rudolf), 1952-
Rudolf Berghammer deutscher Informatiker
Berghammer, R. (Rudolf)
VIAF ID: 8001081 (Personal)
Permalink: http://viaf.org/viaf/8001081
Preferred Forms
-
100 1 _
‡a
Berghammer, R.
‡q
(Rudolf)
-
100 1 _ ‡a Berghammer, R. ‡q (Rudolf), ‡d 1952-
-
100 1 _ ‡a Berghammer, R. ‡q (Rudolf), ‡d 1952-
-
100 1 _ ‡a Berghammer, R. ‡q (Rudolf), ‡d 1952-
-
100 1 0
‡a
Berghammer, R.
‡q
(Rudolf),
‡d
1952-
-
100 1 _
‡a
Berghammer, Rudolf
-
100 1 _ ‡a Berghammer, Rudolf
-
100 1 _
‡a
Berghammer, Rudolf
‡d
1952-
-
100 1 _ ‡a Berghammer, Rudolf, ‡d 1952-
-
100 1 _ ‡a Berghammer, Rudolf, ‡d 1952-
-
100 1 _
‡a
Berghammer, Rudolf,
‡d
1952-....
-
100 1 _ ‡a Berghammer, Rudolf.
-
100 0 _
‡a
Rudolf Berghammer
‡c
deutscher Informatiker
4xx's: Alternate Name Forms (13)
5xx's: Related Names (4)
- 510 2 _
‡a
Christian-Albrechts-Universität zu Kiel
‡b
Institut für Informatik
‡4
affi
‡4
https://d-nb.info/standards/elementset/gnd#affiliation
‡e
Affiliation
- 510 2 _
‡a
Institut für Informatik (Kiel)
- 551 _ _
‡a
Kiel
‡4
ortw
‡4
https://d-nb.info/standards/elementset/gnd#placeOfActivity
- 510 2 _
‡a
München
Works
| Title | Sources |
|---|---|
| Closure, Properties and Closure Properties of Multirelations |
|
| Combining relation algebra and data refinement to develop rectangle-based functional programs for reflexive–transitive closures |
|
| Computing the cut completion of a partially ordered set an example for the use of the RELVIEW-system |
|
| Describing semantic domains with sprouts |
|
| Dijkstras wp-Funktion als Formeltransformer und ihre Verbindung zur denotationellen Semantik |
|
| Formal Derivation and Verification of Approximation Algorithms Using Auxiliary Variables |
|
| Graph-theoretic concepts in computer science : 17th international workshop, WG '91, Fischbachau, Germany, June 17-19, 1991 : proceedings |
|
| Graphdurchlauf mit Vererbung und Synthese eine Fallstudie über die Parameterisierung von Programmen mittels ML-Funktionen |
|
| Kiel Interactive Evaluation Laboratory |
|
| Machine support of relational computations the Kiel RELVIEW system |
|
| Mathematik für die Informatik grundlegende Begriffe, Strukturen und ihre Anwendung |
|
| The Munich Project CIP |
|
| On programming languages with infinite output an exercise in denotational semantics |
|
| Order- and graph-theoretic investigation of dimensions of finite topological spaces and Alexandroff spaces |
|
| Ordnungen, Verbände und Relationen mit Anwendungen |
|
| Programmieren mit höheren Objekten Bausteine und Regeln im HOPS-System |
|
| Programmiersprachen und Grundlagen der Programmierung Vortragsausarbeitungen eines Kolloquiums auf der Barbarahütte am Kreuzeck, 15. - 17. September 1993 |
|
| Programming language and fundamentals of programming |
|
| Proving total correctness of programs in weak second order logic |
|
| Rechnergestützte Erstellung von Prototypen für Programme auf relationalen Strukturen |
|
| A Relation-Algebraic Approach to Multirelations and Predicate Transformers |
|
| relation algebraic model of robust correctness |
|
| Relational algebraic semantics of funktional programs |
|
| Relational and Kleene-algebraic methods in computer science : 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003 : revised selected papers |
|
| Relational specification of data types and programs |
|
| RelMiCS/AKA 2008 |
|
| Semantik von Programmiersprachen |
|
| Spatial voting games, relation algebra and RelView |
|
| Symmetric quotients |
|
| Tool support for system specification development and verification preliminary proceedings of a workshop held in Malente, June 2 - 4, 1998 |
|
| Towards an algebraic specification of code generation |
|
| transformational development of several algorithms for testing the existece of cycles in a directed graph |
|
| Transformational programming with non-deterministic and higher order constructs |
|
| Zur algebraischen Charakterisierung der ganzen Zahlen |
|
| Zur Beschreibung der ganzen Zahlen als termerzeugtes Modell einer Theorie der Prädikatenlogik erster Stufe |
|
| Zur formalen Entwicklung von graphentheoretischen Algorithmen durch Transformation |
|
