Dima Elenbogen

From MaRDI portal
Revision as of 04:36, 7 October 2023 by Import231006081045 (talk | contribs) (Created automatically from import231006081045)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Person:746782

Available identifiers

zbMath Open elenbogen.dimaMaRDI QIDQ746782

List of research outcomes





PublicationDate of PublicationType
Proving mutual termination2015-10-20Paper

Research outcomes over time

This page was built for person: Dima Elenbogen