Jürgen Christ

From MaRDI portal
Person:286735

Available identifiers

zbMath Open christ.jurgenMaRDI QIDQ286735

List of research outcomes





PublicationDate of PublicationType
Cutting the mix2018-03-01Paper
Weakly Equivalent Arrays2017-02-27Paper
Proof tree preserving tree interpolation2016-05-25Paper
Proof Tree Preserving Interpolation2013-08-05Paper

Research outcomes over time

This page was built for person: Jürgen Christ