Hans Zierer

Affiliations:
  • Technical University Munich, Germany (PhD 1988)


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

1991
Relation Algebraic Domain Constructions.
Theor. Comput. Sci., 1991

1990
Describing Semantic Domains with Sprouts.
Acta Informatica, 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

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


  Loading...