DSpace at IIT Bombay: Browsing DSpace

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:

Showing results 1 to 6 of 6

Issue Date	Title	Author(s)
1999	An application of compiler technology to the year 2000 problem	NANDA, MG; BHADURI, P; OBEROI, S; SANYAL, A
1993	Compiling relative set abstractions	OBEROI, S; NAGARAJA, G
1993	Handling expressions with side-effects within an axiomatic semantics framework	OBEROI, S
1995	LAMBDA(BETA') - A LAMBDA-CALCULUS WITH A GENERALIZED BETA-REDUCTION RULE	OBEROI, S
1995	Rationalized 3-instruction machine	CHITNIS, SV; SATPATHY, M; OBEROI, S
1993	Solving equations and inequations in term algebras with selectors	OBEROI, S; NAGARAJA, G

Showing results 1 to 6 of 6