Picture 1 of 1
Rewriting Techniques and Applications: 10th International Conference, RTA'99, Tr
Condition:
3 available
Postage:
Located in: Fairfield, Ohio, United States
Delivery:
Estimated between Wed, 10 Jul and Sat, 20 Jul to 43230
Returns:
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller information
- 98.3% positive feedback
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:395149776340
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- ISBN-13
- 9783540662013
- Book Title
- Rewriting Techniques and Applications
- ISBN
- 9783540662013
- Subject Area
- Computers, Mathematics
- Publication Name
- Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
- Publisher
- Springer Berlin / Heidelberg
- Item Length
- 9.3 in
- Subject
- Programming / General, Computer Science, Intelligence (Ai) & Semantics, Algebra / General, Compilers
- Publication Year
- 1999
- Series
- Lecture Notes in Computer Science Ser.
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Weight
- 45.5 Oz
- Item Width
- 6.1 in
- Number of Pages
- Xii, 408 Pages
About this product
Product Information
This volume contains the proceedings of the 10th International Conference on RewritingTechniques andApplicationsheldfromJuly2-4,1999inTrento, Italy, as part of the Federated Logic Conference (FLoC'99). The RTAconferences are dedicated to all aspects of term, string and graph rewriting as well as their applications such as lambda calculi, theorem-proving, functional programming, decision procedures. The program committee selected 23 papers as well as 4 system descriptions from 53 submissions of overall high quality (46 regular papers and 7 systems descriptions). The papers cover awide range of topics: constraint solving, ter- nation, deductionandhigher-orderrewriting, graphs, complexity, tree automata, context-sensitive rewriting, string rewriting and numeration systems::: by - thors from countries including: France, Germany, India, Israel, Italy, Japan, The Netherlands, Poland, Portugal, Spain, USA. B. Courcelle (Univ. Bordeaux) and F. Otto (Univ. Kassel) presented - vited talks, on graph grammars and connections between rewriting and formal language theory respectively. F. van Raamsdonk (CWI, Amsterdam) gave an invited tutorial on higher-order rewriting. Wewouldliketothanktheexternalreviewersfortheircontributiontoprep- ing the program and Horatiu Cirstea for his help in maintaining the web server of the program committee.
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540662014
ISBN-13
9783540662013
eBay Product ID (ePID)
154327421
Product Key Features
Number of Pages
Xii, 408 Pages
Language
English
Publication Name
Rewriting Techniques and Applications : 10th International Conference, RTA'99, Trento, Italy, July 2-4, 1999, Proceedings
Publication Year
1999
Subject
Programming / General, Computer Science, Intelligence (Ai) & Semantics, Algebra / General, Compilers
Type
Textbook
Subject Area
Computers, Mathematics
Series
Lecture Notes in Computer Science Ser.
Format
Trade Paperback
Dimensions
Item Weight
45.5 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
99-034032
Dewey Edition
21
Series Volume Number
1631
Number of Volumes
1 Vol.
Illustrated
Yes
Dewey Decimal
005.13/1
Lc Classification Number
Qa76.76.C65
Table of Content
Session 1.- Solved Forms for Path Ordering Constraints.- Jeopardy.- Strategic Pattern Matching.- Session 2:.- On the Strong Normalization of Natural Deduction with Permutation-Conversions.- Normalisation in Weakly Orthogonal Rewriting.- Strong Normalization of Proof Nets Modulo Structural Congruences.- Session 3: Invited Talk.- Hierarchical Graph Decompositions Defined by Grammars and Logical Formulas.- Session 4:.- Undecidability of the Part of the Theory of Ground Term Algebra Modulo an AC Symbol.- Deciding the Satisfiability of Quantifier Free Formulae on One-Step Rewriting.- A New Result about the Decidability of the Existential One-Step Rewriting Theory.- Session 5:.- A Fully Syntactic AC-RPO.- Theory Path Orderings.- A Characterisation of Multiply Recursive Functions with Higman's Lemma.- Session 6:.- Deciding the Word Problem in the Union of Equational Theories Sharing Constructors.- Normalization via Rewrite Closures.- Test Sets for the Universal and Existential Closure of Regular Tree Languages.- Session 7: Invited Tutorial.- Higher-Order Rewriting.- Session 8: System Descriptions.- The Maude System.- TOY: A Multiparadigm Declarative System.- UniMoK: A System for Combining Equational Unification Algorithms.- : A Laboratory for Rapid Term Graph Rewriting.- Session 9:.- Decidability for Left-Linear Growing Term Rewriting Systems.- Transforming Context-Sensitive Rewrite Systems.- Context-Sensitive AC-rewriting.- Session 10:.- The Calculus of Algebraic Constructions.- HOL-??: An Intentional First-Order Expression of Higher-Order Logic.- Session 11: Invited Talk.- On the Connections between Rewriting and Formal Language Theory.- Session 12:.- A Rewrite System Associated with Quadratic Pisot Units.- Fast Rewriting of Symmetric Polynomials.- OnImplementation of Tree Synchronized Languages.
Copyright Date
1999
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:395149776340
Postage and handling
Item location:
Fairfield, Ohio, United States
Post 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 Wed, 10 Jul and Sat, 20 Jul 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 #395149776340
Sales Tax for an item #395149776340
Seller collects sales tax for items shipped to the following states:
| State | Sales Tax Rate |
|---|
Return policy
| After receiving the item, contact seller within | Refund will be given as |
|---|---|
| 30 days | Money Back |
The buyer is responsible for return postage costs.
Seller feedback (1,025,690)
3***6 (1)- Feedback left by buyer.
Past month
Verified purchase
Books are in great condition, arrived earlier 👍👍Thank you !
o***h (79)- Feedback left by buyer.
Past month
Verified purchase
Item as described, and was at my door in a few days.
w***r (174)- Feedback left by buyer.
Past month
Verified purchase
swag
More to explore :
- Photography Techniques Hardcover Nonfiction Books,
- Management Techniques Hardcover Nonfiction Books,
- Life Application Study Bible Books,
- Nonfiction Books Fiction & Management Techniques,
- Nonfiction Books Fiction & Photography Techniques,
- Photography Techniques Hardcover Nonfiction Books Illustrated,
- Nonfiction Books Fiction & Photography Techniques with Dust Jacket,
- International Edition Textbooks,
- Textbook International Edition Textbooks,
- International Edition Psychology Textbooks