DSpace
 

DSpace at IIT Bombay >

Browsing by Author OBEROI, S

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:   
Sort by: In order: Results/Page Authors/Record:
Showing results 2 to 6 of 6
< previous 
Issue DateTitleAuthor(s)
1993Compiling relative set abstractionsOBEROI, S; NAGARAJA, G
1993Handling expressions with side-effects within an axiomatic semantics frameworkOBEROI, S
1995LAMBDA(BETA') - A LAMBDA-CALCULUS WITH A GENERALIZED BETA-REDUCTION RULEOBEROI, S
1995Rationalized 3-instruction machineCHITNIS, SV; SATPATHY, M; OBEROI, S
1993Solving equations and inequations in term algebras with selectorsOBEROI, S; NAGARAJA, G
Showing results 2 to 6 of 6
< previous 

 

Valid XHTML 1.0! DSpace Software Copyright © 2002-2010  Duraspace - Feedback