 | 1991 |
|---|
| 7 |       | Hans Zierer:
Relation Algebraic Domain Constructions.
Theor. Comput. Sci. 87(1): 163-188 (1991) |
| 1989 |
|---|
| 6 | | Gunther Schmidt,
Rudolf Berghammer,
Hans Zierer:
Describing Semantic Domains with Sprouts.
Acta Inf. 27(3): 217-245 (1989) |
| 5 | | Rudolf Berghammer,
Gunther Schmidt,
Hans Zierer:
Symmetric Quotients and Domain Constructions.
Inf. Process. Lett. 33(3): 163-168 (1989) |
| 1987 |
|---|
| 4 |  | Gunther Schmidt,
Rudolf Berghammer,
Hans Zierer:
Describing Semantic Domains with Sprouts.
STACS 1987: 299-310 |
| 3 | | Rudolf Berghammer,
Herbert Ehler,
Hans Zierer:
Development of Several Reachability Algorithms for Directed Graphs.
WG 1987: 206-218 |
| 1986 |
|---|
| 2 | | Hans Zierer,
Gunther Schmidt,
Rudolf Berghammer:
An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra.
WG 1986: 68-81 |
| 1 | | Rudolf Berghammer,
Hans Zierer:
Relational Algebraic Semantics of Deterministic and Nondeterministic Programs.
Theor. Comput. Sci. 43: 123-147 (1986) |
