Conditional and typed rewriting systems : proceedings
Material type:
TextLanguage: English Series: Lecture notes in computer science, v 516Publication details: Berlin Springer Verlag 1991Description: x,461pISBN: - 3-540-54317-1
- 5.42 In61CTRS(2)
| Item type | Current library | Call number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|
| Books | ISI Library, Kolkata 4th Floor | 5.42 In61CTRS(2) (Browse shelf(Opens below)) | Available | 112052 |
Total holds: 0
Browsing ISI Library, Kolkata shelves, Shelving location: 4th Floor Close shelf browser (Hides shelf browser)
| No cover image available | ||||||||
| 5.3 W926 Approaches to prototyping : proceedings | 5.42 In61 Rewriting techniques and applications : proceedings | 5.42 In61(92) Conditional term rewriting systems : proceedings | 5.42 In61CTRS(2) Conditional and typed rewriting systems : proceedings | 5.43 G316 Operating systems : proceedings | 5.43 In61 Operating systems engineering : proceedings | 5.43 In61(91) Operating systems of the 90s and beyond : proceedings |
There are no comments on this title.
Log in to your account to post a comment.
