FULL ABSTRACTION AND SEMANTIC EQUIVALENCE
By: Mulmuley, Ketan.
Material type:
BookSeries: Acm Doctoral Dissertation Awards, 1986. Publisher: Cambridge Mit Pr. 1987Description: 198.Subject(s): Programming Languages (Electronic Computers) -- SemanticsDDC classification: 001.6424 | M918fa
| Item type | Current location | Collection | Call number | url | Status | Date due | Barcode | Item holds |
|---|---|---|---|---|---|---|---|---|
Books
|
PK Kelkar Library, IIT Kanpur | COMPACT STORAGE (BASEMENT) | 001.6424 M918fa (Browse shelf) | Book Request | Available | A98440 |
Total holds: 0
Thesis (Ph. D.) -- Carnegie-Mellon Univ., 1985
There are no comments for this item.