Hans Zierer

According to our database, Hans Zierer authored at least 8 papers between 1986 and 1991.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1991

Relation Algebraic Domain Constructions.

Hans Zierer

Theor. Comput. Sci., 1991

1989

Symmetric Quotients and Domain Constructions.

Rudolf Berghammer, Gunther Schmidt, Hans Zierer

Inf. Process. Lett., 1989

1988

Programmierung mit Funktionsobjekten: konstruktive Erzeugung semantischer Bereiche und Anwendung auf die partielle Auswertung.

Hans Zierer

PhD thesis, 1988

Towards an algebraic specification of code generation.

Rudolf Berghammer, Herbert Ehler, Hans Zierer

Sci. Comput. Program., 1988

1987

Development of Several Reachability Algorithms for Directed Graphs.

Rudolf Berghammer, Herbert Ehler, Hans Zierer

Proceedings of the Graph-Theoretic Concepts in Computer Science, International Workshop, 1987

Describing Semantic Domains with Sprouts.

Gunther Schmidt, Rudolf Berghammer, Hans Zierer

Proceedings of the STACS 87, 1987

1986

Relational Algebraic Semantics of Deterministic and Nondeterministic Programs.

Rudolf Berghammer, Hans Zierer

Theor. Comput. Sci., 1986

An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra.

Hans Zierer, Gunther Schmidt, Rudolf Berghammer

Proceedings of the Graphtheoretic Concepts in Computer Science, International Workshop, 1986