Term Rewriting and Applications -
- Format: Broché Voir le descriptif
Vous en avez un à vendre ?
Vendez-le-vôtre71,50 €
Produit Neuf
Ou 17,88 € /mois
- Livraison à 0,01 €
- Livré entre le 29 mai et le 6 juin
Brand new, In English, Fast shipping from London, UK; Tout neuf, en anglais, expédition rapide depuis Londres, Royaume-Uni;ria9783540368342_dbm
Nos autres offres
-
83,32 €
Produit Neuf
Ou 20,83 € /mois
- Livraison : 25,00 €
- Livré entre le 12 et le 17 juin
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.
Voir le détail de l'annonce
- 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 Term Rewriting And Applications Format Broché - Livre Informatique
0 avis sur Term Rewriting And Applications Format Broché - Livre Informatique
Les avis publiés font l'objet d'un contrôle automatisé de Rakuten.
-
Anatomy Of The Horse
Neuf dès 109,61 €
Occasion dès 71,15 €
-
Clair-Obscur
Neuf dès 49,00 €
Occasion dès 39,20 €
-
The New Annotated H. P. Lovecraft
Neuf dès 62,96 €
Occasion dès 38,00 €
-
Le Japonais Superpack (Book + 4 Cd Audio + 1mp3 Usb)
1 avis
Neuf dès 74,90 €
Occasion dès 45,00 €
-
Wie Aus Zahlen Bilder Werden
Occasion dès 57,86 €
-
Quantum Computing: An Applied Approach
Occasion dès 35,96 €
-
Nicolas Roerich. La Vie Et L'oeuvre D'un Maitre Russe
2 avis
Occasion dès 50,00 €
-
Max Beckmann - Die Landchaften
Occasion dès 51,63 €
-
Understanding The Linux Kernel
Neuf dès 65,23 €
Occasion dès 43,79 €
-
Stone Age - Ancient Castles Of Europe
1 avis
Occasion dès 50,00 €
-
Klimt, Schiele, Moser, Kokoschka
Occasion dès 71,63 €
-
The Economics Of The Welfare State
Neuf dès 106,30 €
Occasion dès 81,34 €
-
Auf Der Schwelle Des Fremden: Das Leben Der Annemarie Schwarzenbach
Occasion dès 46,40 €
-
Overcoming Gravity
Occasion dès 45,43 €
-
Lewis Carroll's Photography And Modern Childhood
Neuf dès 84,45 €
Occasion dès 39,71 €
-
The Lord Of The Rings. 10 Cds
Occasion dès 39,96 €
-
Il Signore Degli Anelli
Occasion dès 37,30 €
-
Rural Studio
Neuf dès 117,99 €
Occasion dès 38,97 €
-
The Viniyoga Of Yoga, Applying Yoga For Healthy Living
Occasion dès 103,30 €
-
Peter Doig
2 avis
Neuf dès 74,71 €
Occasion dès 54,02 €
Produits similaires
Présentation Term Rewriting And Applications Format Broché
- Livre Informatique
Sommaire:
FLoC Plenary Talk.- Formal Verification of Infinite State Systems Using Boolean Methods.- Session 1. Constraints and Optimization.- Solving Partial Order Constraints for LPO Termination.- Computationally Equivalent Elimination of Conditions.- On the Correctness of Bubbling.- Propositional Tree Automata.- Session 2. Equational Reasoning.- Generalizing Newman's Lemma for Left-Linear Rewrite Systems.- Unions of Equational Monadic Theories.- Modular Church-Rosser Modulo.- Session 3. System Verification.- Hierarchical Combination of Intruder Theories.- Feasible Trace Reconstruction for Rewriting Approximations.- Invited Talk.- Rewriting Models of Boolean Programs.- Session 4. Lambda Calculus.- Syntactic Descriptions: A Type System for Solving Matching Equations in the Linear ?-Calculus.- A Terminating and Confluent Linear Lambda Calculus.- A Lambda-Calculus with Constructors.- Structural Proof Theory as Rewriting.- Session 5. Theorem Proving.- Checking Conservativity of Overloaded Definitions in Higher-Order Logic.- Certified Higher-Order Recursive Path Ordering.- Dealing with Non-orientable Equations in Rewriting Induction.- Session 6. System Descriptions.- TPA: Termination Proved Automatically.- RAPT: A Program Transformation System Based on Term Rewriting.- The CL-Atse Protocol Analyser.- Slothrop: Knuth-Bendix Completion with a Modern Termination Checker.- Invited Talk.- Automated Termination Analysis for Haskell: From Term Rewriting to Programming Languages.- Session 7. Termination.- Predictive Labeling.- Termination of String Rewriting with Matrix Interpretations.- Decidability of Termination for Semi-constructor TRSs, Left-Linear Shallow TRSs and Related Systems.- Proving Positive Almost Sure Termination Under Strategies.- Session 8. Higher-Order Rewriting andUnification.- A Proof of Finite Family Developments for Higher-Order Rewriting Using a Prefix Property.- Higher-Order Orderings for Normal Rewriting.- Bounded Second-Order Unification Is NP-Complete....
Détails de conformité du produit
Personne responsable dans l'UE