An edition of Full abstraction and semantic equivalence (1987)

Full abstraction and semantic equivalence

by

  • ★★★★★ 5.00 ·
  • 2 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 2 Have read
Cover of: Full abstraction and semantic equivalence by Ketan Mulmuley
Preview Only
Borrow Listen

My Reading Lists:

Create a new list

Check-In

×Close
Add an optional check-in date. Check-in dates are used to track yearly reading goals.
Today
Notes
  • ★★★★★ 5.00 ·
  • 2 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 2 Have read
Notes

Check nearby libraries

Buy this book

Last edited by ImportBot
January 26, 2018 | History
Edit
An edition of Full abstraction and semantic equivalence (1987)

Full abstraction and semantic equivalence

by

  • ★★★★★ 5.00 ·
  • 2 Ratings
  • 1 Want to read
  • 0 Currently reading
  • 2 Have read

This edition doesn't have a description yet. Can you add one?

Publish Date
Publisher
MIT Press, The MIT Press
Language
English
Pages
198

Check nearby libraries

Buy this book

Previews available in: English

Subjects
Programming languages (Electronic computers), Semantics, Langages de programmation, Sémantique

Showing 1 featured edition. View all 1 editions?

Edition Availability
Cover of: Full abstraction and semantic equivalence
Full abstraction and semantic equivalence
1987, MIT Press, The MIT Press
in English
Libraries near you: WorldCat

Add another edition?

Book Details

Published in

Cambridge, Mass

Edition Notes

Bibliography: p. [195]-196.
Thesis (Ph.D.)--Carnegie-Mellon University, 1985.
Includes index.

Series
ACM doctoral dissertation awards ;, 1986, ACM doctoral dissertation award ;, 1986.

Classifications

Dewey Decimal Class
005.13
Library of Congress
QA76.7 .M84 1987

The Physical Object

Pagination
198 p. :
Number of pages
198

ID Numbers

Open Library
OL2738998M
Internet Archive
FullAbstra_00_Mulm
ISBN 10
0262132273
LCCN
86033819
OCLC/WorldCat
15054922
Library Thing
2544338
Goodreads
5716709

Community Reviews (0)

Feedback?
No community reviews have been submitted for this work.

Lists

See All

History

Download catalog record: RDF / JSON
January 26, 2018 Edited by ImportBot import new book
December 4, 2010 Edited by Open Library Bot Added subjects from MARC records.
December 10, 2009 Created by WorkBot add works page