J. Heering

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
scientific article; zbMATH DE number 1693507 (Why is no real title available?)2002-01-22Paper
Language prototyping: An algebraic specification approach
AMAST Series in Computing
2001-05-29Paper
scientific article; zbMATH DE number 845594 (Why is no real title available?)1996-07-17Paper
scientific article; zbMATH DE number 845605 (Why is no real title available?)1996-04-28Paper
scientific article; zbMATH DE number 845595 (Why is no real title available?)1996-04-22Paper
Homomorphism preserving algebraic specifications require hidden sorts
Information and Computation
1995-08-01Paper
Which data types have -complete initial algebra specifications?
Theoretical Computer Science
1994-04-05Paper
Module algebra
Journal of the ACM
1990-01-01Paper
Partial evaluation and \(\omega\)-completeness of algebraic specifications
Theoretical Computer Science
1986-01-01Paper
scientific article; zbMATH DE number 3731322 (Why is no real title available?)1981-01-01Paper
scientific article; zbMATH DE number 3651708 (Why is no real title available?)1979-01-01Paper


Research outcomes over time


This page was built for person: J. Heering