Afbeelding 1 van 1
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop,
Objectstaat:
7 beschikbaar
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:364690417788
Specificaties
- Objectstaat
- ISBN-13
- 9783540612544
- Book Title
- Higher-Order Algebra, Logic, and Term Rewriting
- ISBN
- 9783540612544
- Publication Year
- 1996
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Publication Name
- Higher-Order Algebra, Logic, and Term Rewriting : Selected Papers of the Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995
- Item Length
- 9.3in
- Publisher
- Springer Berlin / Heidelberg
- Item Width
- 6.1in
- Item Weight
- 33.5 Oz
- Number of Pages
- VIII, 296 Pages
Over dit product
Product Information
This book presents a collection of revised refereed papers selected from the presentations accepted for the Second International Workshop on Higher-Order Algebra, Logic, and Term Rewriting, HOA '95, held in Paderborn, Germany, in September 1995. The 14 research papers included, together with an invited paper by Jan Willem Klop, report state-of-the-art results; the relevant theoretical aspects are addressed, and in addition existing proof systems and term rewriting systems are discussed.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540612548
ISBN-13
9783540612544
eBay Product ID (ePID)
942087
Product Key Features
Publication Name
Higher-Order Algebra, Logic, and Term Rewriting : Selected Papers of the Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995
Format
Trade Paperback
Language
English
Publication Year
1996
Series
Lecture Notes in Computer Science Ser.
Type
Textbook
Number of Pages
VIII, 296 Pages
Dimensions
Item Length
9.3in
Item Width
6.1in
Item Weight
33.5 Oz
Additional Product Features
Series Volume Number
1074
Number of Volumes
1 Vol.
Lc Classification Number
Qa75.5-76.95
Table of Content
Term graph rewriting.- Approximation and normalization results for typeable term rewriting systems.- Modular properties of algebraic type systems.- Collapsing partial combinatory algebras.- A complete proof system for Nested Term Graphs.- R n - and G n -logics.- The variable containment problem.- Higher-order equational logic for specification, simulation and testing.- The correctness of a higher-order lazy functional language implementation: An exercise in mechanical theorem proving.- Assertions and recursions.- Development closed critical pairs.- Two different strong normalization proofs'.- Third-order matching in the polymorphic lambda calculus.- Higher-order algebra with transfinite types.- Abstraction of hardware construction.
Copyright Date
1996
Topic
Computer Science, Algebra / General, Logic
Lccn
96-018318
Dewey Decimal
511.3
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:364690417788
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.364690417788
Btw voor objectnr.364690417788
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.