J. Heering

From MaRDI portal
(Redirected from Person:1084848)



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