Hans Zierer

From MaRDI portal



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Relation algebraic domain constructions
Theoretical Computer Science
1992-06-26Paper
Describing semantic domains with sprouts
Acta Informatica
1989-01-01Paper
Symmetric quotients and domain constructions
Information Processing Letters
1989-01-01Paper
scientific article; zbMATH DE number 4086991 (Why is no real title available?)1988-01-01Paper
Towards an algebraic specification of code generation
Science of Computer Programming
1988-01-01Paper
scientific article; zbMATH DE number 3990843 (Why is no real title available?)1987-01-01Paper
Relational algebraic semantics of deterministic and nondeterministic programs
Theoretical Computer Science
1986-01-01Paper


Research outcomes over time


This page was built for person: Hans Zierer