Skip to main content
PBS logo
 
 

Search - Full Abstraction and Semantic Equivalence (ACM Doctoral Dissertation Award)

Full Abstraction and Semantic Equivalence (ACM Doctoral Dissertation Award)
Full Abstraction and Semantic Equivalence - ACM Doctoral Dissertation Award
Author: Ketan Mulmuley
Full Abstraction and Semantic Equivalence demonstrates an original theory that uses the same inclusive predicates to show semantic equivalence and to construct fully abstract, extensional submodels. Previous general techniques for proving semantic equivalence, through the construction of inclusive predicates, have foundered due to thei...  more »
ISBN-13: 9780262132275
ISBN-10: 0262132273
Publication Date: 2/10/1987
Pages: 150
Rating:
  ?
0 stars, based on 0 rating
Publisher: The MIT Press
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2025 PaperBackSwap.com. All Rights Reserved.