عنوان
پدید آورنده
موضوع
رده
QA 76.7 .M86
QA
76
.
7
.
M86
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Full abstraction and semantic equivalence
First Statement of Responsibility
Ketan Mulmuley
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Cambridge, Mass
Name of Publisher, Distributor, etc.
MIT Press
Date of Publication, Distribution, etc.
c1987
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
]xiv[, 198p
SERIES
Other Title Information
ACM doctoral dissertation awards; 6891
GENERAL NOTES
Text of Note
Thesis )Ph.D.(--Carnegie-Mellon University, 1985
Text of Note
Bibliography: p.]195[-196
Text of Note
ISBN: 0262132273
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
، Programming languages )Electronic computers( -- Semantics
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
7
.
M86
PERSONAL NAME - PRIMARY RESPONSIBILITY
Entry Element
Mulmuley, Ketan
Relator Code
AU
TI
SE
