Photo 1 sur 1

Vous en avez un à vendre?

Vendez le vôtre

Techniques et applications de réécriture : 10ème conférence internationale, RTA'99, Tr

État :

Entièrement neuf

Quantité :

3 disponibles

Prix :

67,88 $US

Environ93,01 $C

Ayez l'esprit tranquille. Renvois acceptés.

Expédition :

Sans frais Economy Shipping. En savoir plussur l'expédition

Lieu : Fairfield, Ohio, États-Unis

Livraison :

Livraison prévue entre le mer. 10 juil. et le sam. 20 juil. à 43230

Renvois :

Renvoi sous 30jours. L'acheteur paie les frais de port du renvoi. En savoir plus- pour en savoir plus sur les renvois

Paiements :

Magasinez en toute confiance

Garantie de remboursement eBay

Recevez l'objet commandé ou obtenez un remboursement.

En savoir plusGarantie de remboursement eBay - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Informations sur le vendeur

grandeagleretail (921730)
98,3% d'évaluations positives

Inscrit comme vendeur professionnel

Signaler cet objet - s'ouvre dans une nouvelle fenêtre ou un nouvel onglet

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :395149776340

Dernière mise à jour : mai 19, 2024 05:23:06 HAEAfficher toutes les modificationsAfficher toutes les modifications

Caractéristiques de l'objet

État: Entièrement neuf: Un livre neuf, non lu, non utilisé et en parfait état, sans aucune page manquante ...

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

Author: Michael Rusinowitch

Item Weight: 45.5 Oz

Item Width: 6.1 in

Number of Pages: Xii, 408 Pages

À propos de ce produit

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

Author

Michael Rusinowitch

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

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.

1999

Description de l'objet du vendeur

Le vendeur assume l'entière responsabilité de cette annonce.

Numéro de l'objet eBay :395149776340

Dernière mise à jour : mai 19, 2024 05:23:06 HAEAfficher toutes les modificationsAfficher toutes les modifications

Expédition et manutention

Lieu où se trouve l'objet :

Fairfield, Ohio, États-Unis

Expédition :

Afghanistan, Afrique du Sud, Albanie, Algérie, Allemagne, Andorre, Angola, Anguilla, Antigua-et-Barbuda, Antilles néerlandaises, Arabie saoudite, Argentine, Arménie, Aruba, Australie, Autriche, Azerbaïdjan, Bahamas, Bahreïn, Bangladesh, Belgique, Bermudes, Bhoutan, Bolivie, Bosnie-Herzégovine, Botswana, Brunéi Darussalam, Brésil, Bulgarie, Burkina Faso, Burundi, Bélize, Bénin, Cambodge, Cameroun, Canada, Chili, Chine, Chypre, Colombie, Comores, Corée du Sud, Costa Rica, Côte d'Ivoire, Danemark, Djibouti, Dominique, Espagne, Estonie, Fidji, Finlande, France, Gabon, République du, Gambie, Ghana, Gibraltar, Grenade, Groenland, Grèce, Guatemala, Guernesey, Guinée, Guinée équatoriale, Guinée-Bissau, Guyana, Géorgie, Haïti, Honduras, Hong Kong, Hongrie, Inde, Indonésie, Irak, Irlande, Islande, Israël, Italie, Jamaïque, Japon, Jersey, Jordanie, Kazakhstan, Kenya, Kirghizistan, Kiribati, Koweït, Laos, Lesotho, Lettonie, Liban, Libéria, Liechtenstein, Lituanie, Luxembourg, Macao, Macédoine, Madagascar, Malaisie, Malawi, Maldives, Mali, Malte, Maroc, Mauritanie, Mayotte, Mexique, Moldavie, Monaco, Monde entier, Mongolie, Montserrat, Monténégro, Mozambique, Namibie, Nauru, Nicaragua, Niger, Nigeria, Nioué, Norvège, Nouvelle-Zélande, Népal, Oman, Ouganda, Ouzbékistan, Pakistan, Paraguay, Pays-Bas, Philippines, Pologne, Portugal, Pérou, Qatar, Roumanie, Royaume-Uni, Rwanda, République centrafricaine, République de Croatie, République dominicaine, République du Congo, République démocratique du Congo, République tchèque, Sahara occidental, Saint-Kitts-et-Nevis, Saint-Marin, Saint-Pierre-et-Miquelon, Saint-Vincent-et-les Grenadines, Sainte-Hélène, Sainte-Lucie, Salvador, Serbie, Seychelles, Sierra Leone, Singapour, Slovaque, Slovénie, Somalie, Sri Lanka, Suisse, Suriname, Suède, Svalbard et Jan Mayen, Swaziland, Sénégal, Tadjikistan, Tanzanie, Taïwan, Tchad, Thaïlande, Togo, Tonga, Trinité-et-Tobago, Tunisie, Turkménistan, Turquie, Tuvalu, Uruguay, Vanuatu, Vietnam, Wallis-et-Futuna, Yémen, Zambie, Zimbabwe, Égypte, Émirats arabes unis, Équateur, Érythrée, État de la Cité du Vatican, Éthiopie, Île Maurice, Îles Caïmans, Îles Cook, Îles Malouines (îles Falkland), Îles Salomon, Îles Turks et Caicos, Îles Vierges britanniques, Îles du Cap-Vert

Lieux exclus :

Adresses militaires ou navales, Alaska/Hawaii, Barbade, Biélorussie, Guadeloupe, Guyane française, Libye, Martinique, Nouvelle-Calédonie, Panama, Papouasie-Nouvelle-Guinée, Polynésie française, Protectorats des États-Unis, Russie, Réunion, Samoa, Ukraine, Venezuela

Quantité :

Changer de pays :

Code postal :

Expédition et manutention	Chaque objet supplémentaire	À	Service	Livraison*Voir les remarques sur la livraison
Expédition sans frais	Sans frais	États-Unis	Economy Shipping	Livraison prévue entre le mer. 10 juil. et le sam. 20 juil. à 43230

*Les dates de livraison approximatives – s'ouvre dans une nouvelle fenêtre ou un nouvel onglet tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.Remarques - Livraison *Les dates de livraison approximatives tiennent compte du délai de manutention du vendeur, du code postal de l'expéditeur, du code postal du destinataire et de l'heure de l'acceptation et dépendent du service d'expédition sélectionné et de la réception du paiement. Les délais de livraison peuvent varier, particulièrement lors de périodes achalandées.

Délai de manutention

Expédition dans les 10 jours ouvrables après réception du paiement.

Taxes

Des taxes peuvent s'appliquer à la conclusion de la transaction. En savoir plusEn savoir plus au sujet du paiement de taxes sur les achats eBay.