The following pages link to Jainendra K. Navlakha (Q762874):
Displaying 5 items.
- An analytical technique for 3-dimensional interpolation (Q762875) (← links)
- (Q1161304) (redirect page) (← links)
- A new proof technique to establish equivalence of the original and the generated lambda-free CFG with linear increase in size (Q1161305) (← links)
- Verification of programs with procedure-type parameters (Q1169286) (← links)
- (Q4028913) (← links)