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.
Read More
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.
Read Less
Add this copy of Full Abstraction and Semantic Equivalence to cart. $6.33, very good condition, Sold by Zubal Books rated 5.0 out of 5 stars, ships from Cleveland, OH, UNITED STATES, published 1987 by MIT Press.
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description:
*Price HAS BEEN REDUCED by 10% until Monday, Feb 24 (sale item)* 198 pp., hardcover, tips slightly rubbed, else fine. -If you are reading this, this item is actually (physically) in our stock and ready for shipment once ordered. We are not bookjackers. Buyer is responsible for any additional duties, taxes, or fees required by recipient's country.
Add this copy of Full Abstraction and Semantic Equivalence to cart. $40.00, very good condition, Sold by Dave Wilhelm Books rated 5.0 out of 5 stars, ships from Evanston, IL, UNITED STATES, published 1987 by MIT Press.
Add this copy of Full Abstraction and Semantic Equivalence to cart. $40.66, good condition, Sold by Bonita rated 4.0 out of 5 stars, ships from Newport Coast, CA, UNITED STATES, published 1987 by Mit Pr.
