Jainendra K. Navlakha

From MaRDI portal
Person:762874

Available identifiers

zbMath Open navlakha.jainendra-kMaRDI QIDQ762874

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q40289131993-03-28Paper
An analytical technique for 3-dimensional interpolation1984-01-01Paper
A new proof technique to establish equivalence of the original and the generated lambda-free CFG with linear increase in size1982-01-01Paper
Verification of programs with procedure-type parameters1982-01-01Paper

Research outcomes over time

This page was built for person: Jainendra K. Navlakha

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:762874&oldid=10968513"
Powered by MediaWiki