Navlakha, Jainendra K

Edit Your Profile

Navlakha, Jainendra K

placeholder image

selected scholarly works & creative activities

Article
- 1982
  
  Verification of programs with procedure-type parameters. ACTA INFORMATICA. 18:149-169.
  Full Text via DOI: 10.1007/BF00264436
- 1982
  
  A new proof technique to establish equivalence of the original and the generated λ-free CFG with linear increase in size. BIT. 22:17-26.
  Full Text via DOI: 10.1007/BF01934392
Conference
- 1982
  
  4×4 Tac-Tix is a second person game. 35-46.
  Full Text via DOI: 10.1145/503896.503904

full name

Jainendra Navlakha

visualizations

Co-author Network

publication subject areas

Citation index-derived subject areas the researcher has published in