Jan Heering

Available identifiers

zbMath Open heering.janMaRDI QIDQ1084848

List of research outcomes

Publication	Date of Publication	Type
Language Prototyping: An Algebraic Specification Approach	2001-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q4865611	1996-07-17	Paper
https://portal.mardi4nfdi.de/entity/Q4865622	1996-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q4865612	1996-04-22	Paper
Homomorphism preserving algebraic specifications require hidden sorts	1995-08-01	Paper
Which data types have \(\omega\)-complete initial algebra specifications?	1994-04-05	Paper
Module algebra	1990-01-01	Paper
Partial evaluation and \(\omega\)-completeness of algebraic specifications	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3919068	1981-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3851574	1979-01-01	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jan Heering