Picture 1 of 1
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, H
Condition:
7 available
Postage:
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Tue, 4 Jun and Fri, 14 Jun to 43230
Returns:
Payments:
Shop with confidence
Seller information
- 98.2% positive Feedback
Registered as a business seller
Seller assumes all responsibility for this listing.
eBay item number:395149728706
Item specifics
- Condition
- ISBN-13
- 9783540582335
- Book Title
- Higher-Order Algebra, Logic, and Term Rewriting
- ISBN
- 9783540582335
- Series
- Lecture Notes in Computer Science Ser.
- Publication Year
- 1994
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
- Item Length
- 9in
- Publisher
- Springer Berlin / Heidelberg
- Item Width
- 6in
- Item Weight
- 39.9 Oz
- Number of Pages
- IX, 351 Pages
About this product
Product Information
This volume contains the final revised versions of the best papers presented at the First International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (HOA '93), held in Amsterdam in September 1993. Higher-Order methods are increasingly applied in functional and logic programming languages, as well as in specification and verification of programs and hardware. The 15 full papers in this volume are devoted to the algebra and model theory of higher-order languages, computational logic techniques including resolution and term rewriting, and specification and verification case studies; in total they provide a competently written overview of current research and suggest new research directions in this vigourous area.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540582339
ISBN-13
9783540582335
eBay Product ID (ePID)
102832223
Product Key Features
Publication Name
Higher-Order Algebra, Logic, and Term Rewriting : First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers
Format
Trade Paperback
Language
English
Series
Lecture Notes in Computer Science Ser.
Publication Year
1994
Type
Textbook
Number of Pages
IX, 351 Pages
Dimensions
Item Length
9in
Item Width
6in
Item Weight
39.9 Oz
Additional Product Features
Series Volume Number
816
Number of Volumes
1 Vol.
Lc Classification Number
Qa76.76.C65
Table of Content
Interaction systems.- Strong normalization of typeable rewrite systems.- A transformation system combining partial evaluation with term rewriting.- Prototyping relational specifications using higher-order objects.- Origin tracking for higher-order term rewriting systems.- Theory interpretation in simple type theory.- The semantics of SPECTRUM.- ATLAS: A typed language for algebraic specification.- Compilation of Combinatory Reduction Systems.- Specification and verification in higher order algebra: A case study of convolution.- Ordered and continuous models of higher-order specifications.- Rewriting properties of combinators for rudimentary linear logic.- Comparing combinatory reduction systems and higher-order rewrite systems.- Termination proofs for higher-order rewrite systems.- Extensions of initial models and their second-order proof systems.
Copyright Date
1994
Topic
Machine Theory, Computer Science, Algebra / General, Logic, Compilers
Intended Audience
Scholarly & Professional
Illustrated
Yes
Genre
Computers, Mathematics
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:395149728706
Postage and handling
Item location:
Fairfield, Ohio, United States
Posts to:
Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, British Virgin Islands, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Comoros, Cook Islands, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominica, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Falkland Islands (Islas Malvinas), Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guernsey, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Iraq, Ireland, Israel, Italy, Jamaica, Japan, Jersey, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mauritius, Mayotte, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, Netherlands Antilles, New Zealand, Nicaragua, Niger, Nigeria, Niue, Norway, Oman, Pakistan, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Helena, Saint Kitts-Nevis, Saint Lucia, Saint Pierre and Miquelon, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, Somalia, South Africa, South Korea, Spain, Sri Lanka, Suriname, Svalbard and Jan Mayen, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Tuvalu, Uganda, United Arab Emirates, United Kingdom, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Sahara, Worldwide, Yemen, Zambia, Zimbabwe
Excludes:
APO/FPO, Alaska/Hawaii, Barbados, Belarus, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Panama, Papua New Guinea, Reunion, Russian Federation, US Protectorates, Ukraine, Venezuela, Western Samoa
Postage and handling | Each additional item | To | Service | Delivery*See delivery notes |
---|---|---|---|---|
Free postage | Free | United States | Economy Shipping | Estimated between Tue, 4 Jun and Fri, 14 Jun to 43230 |
Handling time |
---|
Will usually post within 10 business days of receiving cleared payment. |
Taxes |
---|
Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales tax for an item #395149728706
Sales tax for an item #395149728706
Seller collects sales tax for items posted to the following states:
State | Sales tax rate |
---|
Return policy
Item must be returned within | Refund will be given as |
---|---|
30 days after the buyer receives it | Money back |
The buyer is responsible for return postage costs.
You must return items in their original packaging and in the same condition as when you received them. If you don't follow our item condition policy for returnsitem condition policy for returns, you may not receive a full refund.
Refunds by law: In Australia, consumers have a legal right to obtain a refund from a business if the goods purchased are faulty, not fit for purpose or don't match the seller's description. More information at returnsreturns - opens in a new window or tab.
Payment details
Payment methods
Seller Feedback (1,023,101)
i***6 (139)- Feedback left by buyer.
Past 6 months
Verified purchase
Item as described, good price, well packaged, arrived slightly later than hoped (not in time for Christmas ) but the order was placed in a very busy shipping period. No issue with the seller’s speed of response and sending the item. Great seller!
t***r (91)- Feedback left by buyer.
Past 6 months
Verified purchase
I was pleasantly surprised by how soon I received this textbook given that it shipped from outside the U.S. It was packaged well with no damage. The price was right. And I greatly appreciated the communication informing me where the book was shipping from and including a tracking number. Overall, a positive experience, - online shopping the way it should be. I've bought books from this seller several times now without any complaints and will surely buy from them again. Thanks a lot!
s***3 (147)- Feedback left by buyer.
Past month
Verified purchase
Quality and hard to find book that won't be released 'til January 2025 in the U.S.A.
Fantastic price.
Book was in a secure and protective package. Arrived a few days after I placed order and that was faster than I expected.
Seller is a fantastic communicator and proactive in regards to tracking status. I'd definitely buy from them in the future.
Product ratings and reviews
More to explore:
- Algebra Adult Learning & University Books,
- Algebra Adult Learning & University Books in English,
- Linear Algebra Adult Learning & University Books in English,
- Linear Algebra Adult Learning & University Books,
- Algebra Paperback Adult Learning & University Books,
- First Comics Comics, Graphic Novels & TPBs,
- First Edition Children's Antiquarian & Collectable Books,
- Non-Fiction First Aid Fiction & Books,
- Penguin First Edition Antiquarian & Collectable Books,
- Biggles First Edition Original Antiquarian & Collectable Books