Afbeelding 1 van 1
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, H
Objectstaat:
7 beschikbaar
Prijs:
US $67,03
OngeveerEUR 62,71
- Nu kopenHigher-Order Algebra, Logic, and Term Rewriting: First International Workshop, H
Verzendkosten:
Bevindt zich in: Fairfield, Ohio, Verenigde Staten
Levering:
Geschatte levering tussen za, 18 mei en do, 30 mei tot 43230
Retourbeleid:
30 dagen om te retourneren. Koper betaalt voor retourzending. Details bekijken- voor meer informatie over retourzendingen
Betalingen:
Winkel met vertrouwen
Verkopergegevens
- 98,2% positive feedback
Ingeschreven als zakelijke verkoper
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:395149728706
Specificaties
- Objectstaat
- 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
Over dit 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
Objectbeschrijving van de verkoper
Informatie van zakelijke verkoper
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Ik verklaar dat al mijn verkoopactiviteiten zullen voldoen aan alle wet- en regelgeving van de EU.
De verkoper neemt de volledige verantwoordelijkheid voor deze aanbieding.
eBay-objectnummer:395149728706
Verzending en verwerking
Objectlocatie:
Fairfield, Ohio, Verenigde Staten
Wordt verzonden naar:
Afghanistan, Albanië, Algerije, Andorra, Angola, Anguilla, Antigua en Barbuda, Argentinië, Armenië, Aruba, Australië, Azerbeidzjan, Bahama's, Bahrein, Bangladesh, België, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnië en Herzegovina, Botswana, Brazilië, Britse Maagdeneilanden, Brunei Darussalam, Bulgarije, Burkina Faso, Burundi, Cambodja, Canada, Centraal-Afrikaanse Republiek, Chili, China, Colombia, Comoren, Cookeilanden, Costa Rica, Cyprus, Democratische Republiek Congo, Denemarken, Djibouti, Dominica, Dominicaanse Republiek, Duitsland, Ecuador, Egypte, El Salvador, Equatoriaal-Guinea, Eritrea, Estland, Ethiopië, Falklandeilanden (Islas Malvinas), Fiji, Filipijnen, Finland, Frankrijk, Gabon, Gambia, Georgië, Ghana, Gibraltar, Grenada, Griekenland, Groenland, Guatemala, Guernsey, Guinee, Guinee-Bissau, Guyana, Haïti, Honduras, Hongarije, Hongkong, IJsland, Ierland, India, Indonesië, Irak, Israël, Italië, Ivoorkust, Jamaica, Japan, Jemen, Jersey, Jordanië, Kaaimaneilanden, Kaapverdische eilanden, Kameroen, Kazachstan, Kenia, Kirgizië, Kiribati, Koeweit, Kroatië, Laos, Lesotho, Letland, Libanon, Liberia, Liechtenstein, Litouwen, Luxemburg, Macau, Macedonië, Madagaskar, Malawi, Maldiven, Maleisië, Mali, Malta, Marokko, Mauritanië, Mauritius, Mayotte, Mexico, Moldavië, Monaco, Mongolië, Montenegro, Montserrat, Mozambique, Namibië, Nauru, Nederland, Nederlandse Antillen, Nepal, Nicaragua, Nieuw-Zeeland, Niger, Nigeria, Niue, Noorwegen, Oeganda, Oezbekistan, Oman, Oostenrijk, Pakistan, Paraguay, Peru, Polen, Portugal, Qatar, Republiek Congo, Roemenië, Rwanda, Saint Kitts en Nevis, Saint Lucia, Saint Pierre en Miquelon, Saint Vincent en de Grenadines, San Marino, Saudi-Arabië, Senegal, Servië, Seychellen, Sierra Leone, Singapore, Sint-Helena, Slovenië, Slowakije, Solomoneilanden, Somalië, Spanje, Spitsbergen en Jan Mayen, Sri Lanka, Suriname, Swaziland, Tadzjikistan, Taiwan, Tanzania, Thailand, Togo, Tonga, Trinidad en Tobago, Tsjaad, Tsjechië, Tunesië, Turkije, Turkmenistan, Turks- en Caicoseilanden, Tuvalu, Uruguay, Vanuatu, Vaticaanstad, Verenigd Koninkrijk, Verenigde Arabische Emiraten, Vietnam, Wallis en Futuna, Wereldwijd, Westelijke Sahara, Zambia, Zimbabwe, Zuid-Afrika, Zuid-Korea, Zweden, Zwitserland
Uitgesloten:
APO/FPO, Alaska/Hawaï, Amerikaanse protectoraten, Barbados, Frans-Guyana, Frans-Polynesië, Guadeloupe, Libië, Martinique, Nieuw-Caledonië, Oekraïne, Panama, Papoea-Nieuw-Guinea, Russische Federatie, Réunion, Venezuela, Westelijk Samoa, Wit-Rusland
| Verzending en verwerking | Elk volgende object | Tot | Service | Levering*Zie opmerkingen over levering |
|---|---|---|---|---|
| Gratis verzending | Gratis | Verenigde Staten | Economy Shipping | Geschatte levering tussen za, 18 mei en do, 30 mei tot 43230 |
| Verwerkingstijd |
|---|
| Wordt doorgaans binnen 10 werkdagen na ontvangst van betaling verzonden. |
| Belasting |
|---|
| Er kunnen belastingen van toepassing zijn tijdens Betalen. Meer weten?Lees meer over het betalen van belastingen op eBay-aankopen. |
Btw voor objectnr.395149728706
Btw voor objectnr.395149728706
Verkoper berekent btw op objecten die naar de volgende staten worden verzonden:
| Staat | Btw-tarief |
|---|
Retourbeleid
| Nadat u het object hebt ontvangen, kunt u contact opnemen met de verkoper binnen | Terugbetaling wordt verstrekt als | Kosten voor retourzending |
|---|---|---|
| 30 dagen | Geld terug | Koper betaalt voor retourzending |
De koper is verantwoordelijk voor de kosten van de retourzending.
| Details retourbeleid |
|---|
| Retourzendingen geaccepteerd |
Betalingsgegevens
Betalingsmethoden
Populaire rubrieken in deze winkel
Ingeschreven als zakelijke verkoper
Feedback verkoper (1.021.859)
l***a (778)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
The book arrived,and am very pleased, nothing wrong at all. Thank you!!
n***m (1195)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Seller organization provided exceptional customer service to overcome challenging circumstances. This company actually listens to the customer, which I find to be refreshing and reassuring. Thank you for your courtesy and willingness to go the extra mile!
0***y (353)- Feedback gegeven door koper.
Afgelopen maand
Geverifieerde aankoop
Very poor reprint, images all in black and white and image quality very poor, but text is fine.