Hans Zierer

Publication Activity (10 Years)

Years Active: 1986-1991
Publications (10 Years): 0

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Hans Zierer
Relation Algebraic Domain Constructions. Theor. Comput. Sci. 87 (1) (1991)
Gunther Schmidt, Rudolf Berghammer, Hans Zierer
Describing Semantic Domains with Sprouts. Acta Informatica 27 (3) (1990)
Rudolf Berghammer, Gunther Schmidt, Hans Zierer
Symmetric Quotients and Domain Constructions. Inf. Process. Lett. 33 (3) (1989)
Rudolf Berghammer, Herbert Ehler, Hans Zierer
Towards an algebraic specification of code generation. Sci. Comput. Program. 11 (1) (1988)
Rudolf Berghammer, Herbert Ehler, Hans Zierer
Development of Several Reachability Algorithms for Directed Graphs. WG (1987)
Gunther Schmidt, Rudolf Berghammer, Hans Zierer
Describing Semantic Domains with Sprouts. STACS (1987)
Rudolf Berghammer, Hans Zierer
Relational Algebraic Semantics of Deterministic and Nondeterministic Programs. Theor. Comput. Sci. 43 (1986)
Hans Zierer, Gunther Schmidt, Rudolf Berghammer
An Interactive Graphical Manipulation System for Higher Order Objects Based on Relational Algebra. WG (1986)