# Hans Zierer

According to our database

Collaborative distances:

^{1}, Hans Zierer authored at least 9 papers between 1986 and 1991.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

1991

Relation Algebraic Domain Constructions.

Theor. Comput. Sci., 1991

1990

Describing Semantic Domains with Sprouts.

Acta Inf., 1990

1989

Symmetric Quotients and Domain Constructions.

Inf. Process. Lett., 1989

1988

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

PhD thesis, 1988

Towards an algebraic specification of code generation.

Sci. Comput. Program., 1988

1987

Development of Several Reachability Algorithms for Directed Graphs.

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

Describing Semantic Domains with Sprouts.

Proceedings of the STACS 87, 1987

1986

Relational Algebraic Semantics of Deterministic and Nondeterministic Programs.

Theor. Comput. Sci., 1986

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

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