Hyvernat Pierre

From MaRDI portal
Person:5404476

Available identifiers

zbMath Open pierre.hyvernatMaRDI QIDQ5404476

List of research outcomes





PublicationDate of PublicationType
The Size-Change Termination Principle for Constructor Based Languages2014-03-24Paper

Research outcomes over time

This page was built for person: Hyvernat Pierre