J. Heering

From MaRDI portal
Person:1084848

Available identifiers

zbMath Open heering.janMaRDI QIDQ1084848

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q27640992002-01-22Paper
Language prototyping: An algebraic specification approach2001-05-29Paper
https://portal.mardi4nfdi.de/entity/Q48656111996-07-17Paper
https://portal.mardi4nfdi.de/entity/Q48656221996-04-28Paper
https://portal.mardi4nfdi.de/entity/Q48656121996-04-22Paper
Homomorphism preserving algebraic specifications require hidden sorts1995-08-01Paper
Which data types have \(\omega\)-complete initial algebra specifications?1994-04-05Paper
Module algebra1990-01-01Paper
Partial evaluation and \(\omega\)-completeness of algebraic specifications1986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39190681981-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38515741979-01-01Paper

Research outcomes over time

This page was built for person: J. Heering

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1084848&oldid=11056818"
Powered by MediaWiki