Rewriting Techniques and Applications -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre97,99 €
Occasion · Comme Neuf
Ou 24,50 € /mois
- Livraison : 25,00 €
- Livré entre le 12 et le 22 mai
Nos autres offres
-
88,47 €
Produit Neuf
Ou 22,12 € /mois
- Livraison : 25,00 €
- Livré entre le 19 et le 26 mai
Apres acceptation de la commande, le delai moyen d'expedition depuis le Japon est de 48 heures. Le delai moyen de livraison est de 3 a 4 semaines. En cas de circonstances exceptionnelles, les delais peuvent s'etendre jusqu'à 2 mois.
-
97,99 €
Occasion · Comme Neuf
Ou 24,50 € /mois
- Livraison : 25,00 €
- Livré entre le 12 et le 22 mai
Service client à l'écoute et une politique de retour sans tracas - Livraison des USA en 3 a 4 semaines (2 mois si circonstances exceptionnelles) - La plupart de nos titres sont en anglais, sauf indication contraire. N'hésitez pas à nous envoyer un e-... Voir plus
- Payez directement sur Rakuten (CB, PayPal, 4xCB...)
- Récupérez le produit directement chez le vendeur
- Rakuten vous rembourse en cas de problème
Gratuit et sans engagement
Félicitations !
Nous sommes heureux de vous compter parmi nos membres du Club Rakuten !
TROUVER UN MAGASIN
Retour
Avis sur Rewriting Techniques And Applications Format Broché - Livre Informatique
0 avis sur Rewriting Techniques And Applications Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Canine Rehabilitation And Physical Therapy
Neuf dès 156,59 €
Occasion dès 123,46 €
-
Conformal Field Theory
Neuf dès 190,65 €
Occasion dès 130,39 €
-
Erazer Beast 16 X1 Ultimate (Md 62732) Intel Core Ultra 9 275hx Ordinateur Portable 16" Quad Hd+ 32 Go Ddr5-Sdram 2 To Ssd Nvidia Geforce Rtx 5090 Wi-Fi 6e (802.11ax) Windows 11 Home Noir
Neuf dès 107,15 €
-
Art Of Modern Rock
2 avis
Occasion dès 50,00 €
-
Fotografias 1976 - 2003 Photographs 1976 - 2003
Occasion dès 120,00 €
-
Diego Rivera. The Complete Murals
Neuf dès 97,04 €
Occasion dès 65,00 €
-
Francois Catroux
Occasion dès 71,38 €
-
Arda Reconstructed
Neuf dès 67,42 €
-
Hollywood Jewels: Movies, Jewelry, Stars
Occasion dès 106,99 €
-
Martin Chambi: 1920-1950 (Spanish Edition)
Occasion dès 87,72 €
-
Le Medecin Des Pauvres: 2000 Remèdes Et Savoirs De La Médecine Populaire (Édition Illustrée)
Occasion dès 65,89 €
-
Animal Eyes
Neuf dès 101,75 €
Occasion dès 114,87 €
-
Bernard Frize: Longues Lignes (Souvent Fermees)
Occasion dès 63,99 €
-
Bmw R1200 Twins (04 - 09) Haynes Repair Manual
Neuf dès 45,11 €
Occasion dès 80,99 €
-
Conversations With Wilder
Occasion dès 105,00 €
-
Frobenius Splitting Methods In Geometry And Representation Theory
Occasion dès 69,32 €
-
Pomellato
Occasion dès 80,00 €
-
La Sante Interdite
Occasion dès 71,00 €
-
Warehouse Management
Neuf dès 66,26 €
-
Dosso Dossi: Court Painter In Renaissance Ferrara
Occasion dès 55,00 €
Produits similaires
Présentation Rewriting Techniques And Applications Format Broché
- Livre Informatique
Résumé :
This book constitutes the refereed proceedings of the 12th International Conference on Rewriting Techniques and Applications, RTA 2001, held in Utrecht, The Netherlands, in May 2001. The 23 revised full papers presented together with two system descriptions were carefully reviewed and selected from 55 submissions. All current aspects of rewriting are addressed.
Sommaire:
Invited Talks.- Computing and Proving.- Rewriting for Deduction and Verification.- Regular Papers.- Universal Interaction Systems with Only Two Agents.- General Recursion on Second Order Term Algebras.- Beta Reduction Constraints.- From Higher-Order to First-Order Rewriting.- Combining Pattern E-Unification Algorithms.- Matching Power.- Dependency Pairs for Equational Rewriting.- Termination Proofs by Context-Dependent Interpretations.- Uniform Normalisation beyond Orthogonality.- Verifying Orientability of Rewrite Rules Using the Knuth-Bendix Order.- Relating Accumulative and Non-accumulative Functional Programs.- Context Unification and Traversal Equations.- Weakly Regular Relations and Applications.- On the Parallel Complexity of Tree Automata.- Transfinite Rewriting Semantics for Term Rewriting Systems.- Goal-Directed E-Unification.- The Unification Problem for Confluent Right-Ground Term Rewriting Systems.- On Termination of Higher-Order Rewriting.- Matching with Free Function Symbols - A Simple Extension of Matching?.- Deriving Focused Calculi for Transitive Relations.- A Formalised First-Order Con uence Proof for the ?-Calculus Using One-Sorted Variable Names (Barendregt Was Right after all ... almost).- A Normal Form for Church-Rosser Language Systems.- Confluence and Termination of Simply Typed Term Rewriting Systems.- Parallel Evaluation of Interaction Nets with MPINE.- Stratego: A Language for Program Transformation Based on Rewriting Strategies System Description of Stratego 0.5.
Détails de conformité du produit
Personne responsable dans l'UE