Foto 1 di 1
Foto 1 di 1
Tecniche e applicazioni di riscrittura: 10a conferenza internazionale, RTA'99, Tr-
US $67,64
CircaEUR 60,54
Condizione:
Nuovo
Libro nuovo, intatto e non letto, in perfette condizioni, senza pagine mancanti o danneggiate. Per maggiori dettagli, consulta l'inserzione del venditore.
3 disponibili
Spedizione:
Gratis Economy Shipping.
Oggetto che si trova a: Fairfield, Ohio, Stati Uniti
Consegna:
Consegna prevista tra il gio 10 ott e il gio 17 ott a 43230
Restituzioni:
Restituzioni entro 30 giorni. Le spese di spedizione del reso sono a carico dell'acquirente.
Pagamenti:
Fai shopping in tutta sicurezza
Il venditore si assume la piena responsabilità della messa in vendita dell'oggetto.
Numero oggetto eBay:395149776340
Specifiche dell'oggetto
- Condizione
- ISBN-13
- 9783540662013
- Book Title
- Rewriting Techniques and Applications
- ISBN
- 9783540662013
- Subject Area
- Mathematics, Computers
- 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, Intelligence (Ai) & Semantics, Computer Science, 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
Informazioni su questo prodotto
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, Intelligence (Ai) & Semantics, Computer Science, Algebra / General, Compilers
Type
Textbook
Subject Area
Mathematics, Computers
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
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.
Synopsis
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., 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.
LC Classification Number
QA76.76.C65
Descrizione dell'oggetto fatta dal venditore
Informazioni sul venditore professionale
Premier Books LLC
David Taylor
26C Trolley Sq
19806-3356 Wilmington, DE
United States
Certifico che tutte le mie attività di vendita saranno conformi alle leggi e ai regolamenti dell'Unione Europea.
Categorie più popolari di questo Negozio
Registrato come venditore professionale
Feedback del venditore (1.032.881)
- l***c (227)- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoBook came packaged well to avoid damage, in great condition. Not sure if the seller delayed shipping or if usps didn’t update the shipping, which is highly likely. Still received and we are happy with our purchase. I had trouble looking up tracking due to the company they used but seller found usps tracking and sent that over quickly. Sellers communication was excellent. Would buy from again. Item as described.
- t***n (2908)- Feedback lasciato dall'acquirente.Mese scorsoAcquisto verificatoI don't give negatives; However, description was not correct; No price guide was included in this book.As you will see in book pic shown; title states price guide included, no price guide inside. Communication poor, description, no communication price guide missing from this book. Shipping time was weeks before it was even shipped. Blamed the shipping on warehouse. You own & operate a business; your warehouse is not up to standards you change who you do business with. It's your responsibility.
- -***6 (133)- Feedback lasciato dall'acquirente.Ultimi 6 mesiAcquisto verificatoItem arrived as described and adequately packaged. Ridiculously long shipping time. Seller posts incorrect tracking number and lists the item as shipped. Contacted seller for correct tracking, received a new tracking number with the warning that the number won’t be “live” until the item is shipped. Will you get your item? Yeah, probably. Count on it being delivered 2-3 weeks longer than expected.