Masanori Nagashima

From MaRDI portal
Person:1929231

Available identifiers

zbMath Open nagashima.masanoriMaRDI QIDQ1929231

List of research outcomes





PublicationDate of PublicationType
Inverse Unfold Problem and Its Heuristic Solving2019-10-24Paper
Determinization of conditional term rewriting systems2013-01-07Paper

Research outcomes over time

This page was built for person: Masanori Nagashima