Julian Zinn

From MaRDI portal
Person:613610

Available identifiers

zbMath Open zinn.julianMaRDI QIDQ613610

List of research outcomes





PublicationDate of PublicationType
A polynomial algorithm for uniqueness of normal forms of linear shallow term rewrite systems2010-12-21Paper

Research outcomes over time

This page was built for person: Julian Zinn