000 | 00604nam a2200193Ia 4500 | ||
---|---|---|---|
919 | _a002206 | ||
020 | _a0262132273 | ||
082 |
_a005.13 _bN873 |
||
100 | _aMulmuley, Ketan | ||
245 |
_aFull abstraction and semantic equivalence _cby Ketan Mulmuley |
||
260 |
_aCambridge _bMIT _c1987 |
||
300 | _a198p. | ||
490 |
_aACM doctoral dissertation awards 1986. _v |
||
690 | _aProgramming language (Electronic computers)-Semantics | ||
999 |
_c2206 _d2206 |