Walmart US Ecommerce Website

GENERAL MERCHANDISE

PHARMACY

GROCERIES

VUDU

SPARK

PHOTO

ADVERTISING

SAVINGS CATCHER

GIFTCARDS

INHOME

AFFILIATE

ONEAPP

LOTUS

HELP

SMART_REORDER

GROCERY

CONV_COMMERCE

Buy Box Ad Container Module for Desktop

Custom HTML Module - About Klarna

Custom HTML Module - About SalesFinancing - Second update

You'll choose a plan at checkout.

#515357

I want delivery savings with Delivery Pass

#0071dc

NEW Fulfillment Tue Apr 15 2025 2:17 PM EDT

MTZ Team | Marquee 1 Ad | Item Page

MTZ Team | Marquee 2  Ad | Item Page

MTZ Team | Skyline Ad | Item Page

Other products of interest

MTZ Team | Sponsored Product Carousel - Item Page

More items to explore

MTZ Team | Sponsored Product Carousel - Item Page Broad 

NEW AddonServicesRedesign Fri Jul 18 2025 1:30 PM EDT

NEW AddToCart Mon Jul 14 2025 3:50 PM EDT

NEW AddToCart Tue Apr 15 2025 2:19 PM EDT

NEW BrandBoxDisplayAd Mon Jul 14 2025 9:14 PM EDT

NEW BrandLink Wed Apr 23 2025 12:07 AM EDT

NEW Breadcrumb Mon Apr 07 2025 8:23 PM EDT

Walmart Rewards Mastercard

NEW FinancingOptions Tue Dec 10 2024 3:32 PM EST

I want shipping & delivery savings with

NEW Fulfillment Mon Jul 14 2025 4:00 PM EDT

NEW InternationalShipping Mon May 18 2026 1:02 PM EDT

New Item Page - Nutrition Value Placeholder Module, Wednesday, February 08, 2023, 5:11:53:90 pm

New Item Page - Product Description Placeholder Module, Wednesday, February 08, 2023, 5:14:04:38 pm

New Item Page - Product Ingredients Placeholder Module, Friday, February 10, 2023, 10:34:23:79 am

New Item Page - Product Specifications Placeholder Module, Wednesday, February 08, 2023, 5:15:29:61 pm

New Item Page - Reviews Placeholder Module, Wednesday, March 22, 2023, 10:04:29:34 am

New Item Related Shelves Module, Thursday, June 15, 2023, 6:08:51:10 am

 Price Match Policy

Prices, terms, and availability may vary online, in stores, and in–app. If the advertised price is not shown here, inventory at the advertised price may now be sold out. Please see the other offers, if available, while quantities last. Some items may be available from Marketplace Sellers, who set their own prices, and are not eligible for price match. Items sold in store by Walmart may be eligible for a price match to online items shipped and sold by Walmart. For variable weight items, price shown is an estimated price only – you will be charged for the actual weight of the item. See our

NEW LegalPriceDisclaimer Mon Jul 14 2025 4:11 PM EDT

NEW LegalPriceDisclaimer Wed Apr 30 2025 12:13 AM EDT

NEW ListsAndRegistries Tue Apr 15 2025 4:50 PM EDT

NEW PaymentPlans Mon Jul 14 2025 4:15 PM EDT

NEW PaymentPlans Tue Apr 15 2025 1:31 PM EDT

NEW PriceInformation Tue Apr 15 2025 1:30 PM EDT

NEW ProductDescriptionPlaceholderATF Tue Jul 08 2025 11:41 PM EDT

NEW ProductFlags Thu Apr 10 2025 11:42 PM EDT

NEW ProductHighlightsPlaceholder Wed Jul 02 2025 12:43 AM EDT

NEW ProductImages Tue Apr 15 2025 2:13 PM EDT

NEW ProductName Tue Apr 15 2025 12:53 PM EDT

NEW ProductReturnPolicyDetails Tue Dec 10 2024 3:17 PM EST

NEW ProductReturnPolicy Mon Jul 14 2025 5:04 PM EDT

Return Policy

NEW ProductReturnPolicy Tue Apr 15 2025 2:28 PM EDT

NEW ProductStickyBuyBox Wed Jul 02 2025 12:55 AM EDT

NEW PromoDiscount Tue Apr 15 2025 6:53 PM EDT

New SellersSecondaryBuyBox Module, Tuesday, September 05, 2023, 4:02:21:76 pm

NEW ShopWithConfidence Thu Jan 15 2026 2:20 PM EST

NEW SocialProofMessage Tue Apr 15 2025 7:17 PM EDT

NEW SoldAndShippedBy Mon Jul 14 2025 5:04 PM EDT

NEW SoldAndShippedBy Tue Apr 15 2025 2:23 PM EDT

New!

More savings, less stress.

HSK_Subscribetosave_E_v2

NEW SubscriptionOptionsModule Tue Apr 15 2025 6:44 PM EDT

NEW SubscriptionPriceMessage Wed Apr 23 2025 6:48 PM EDT

NEW Variants Wed Apr 23 2025 11:01 PM EDT

[Sticky] BuyBoxAd Mon Aug 11 2025 3:59 AM EDT

[Sticky] PriceInformation Mon Jul 14 2025 4:03 PM EDT

Syndigo

#000000

Item Carousel - Rich Relevance 1

RR carousel

Item Carousel - Rich Relevance 2

RR carousel 2

Item Carousel - Rich Relevance 3

Rewriting Computation And Proof, Helene Kirchner, Claude Kirchner, et al. Paperback

Book Format

Publication Date

Number of Pages

Edition

Publisher

Rewriting Computation And Proof, Helene Kirchner, Claude Kirchner, et al. Paperback. Jean-Pierre Jouannaud has deeply influenced, and is still influencing, research in Informatics, through the many important results he has produced in various research fields and through the generations of scholars he has educated. He has played a leading role in field of rewriting and its technology, advancing the research areas of unification, rewriting and completion modulo, conditional rewriting, termination proofs, modular properties, and automated proofs by induction in rewrite theories. Following his strong interest for algebraic specification languages and their efficient implementation, Jean-Pierre Jouannaud has contributed to the design, semantics and implementation of OBJ2 and has recently augmented the Maude rewriting logic system with an essential feature: membership equational logic. He was a member of the CNU (National University Council) and a member of the CNRS national committee. He is now heading with great success the computer science laboratory at the Ecole Polytechnique thus showing his exceptional qualities as a research team manager and supervisor of students.This Festschrift volume, published to honor Jean-Pierre Jouannaud on his 60th Birthday on May 12, 2007, includes 13 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Cachan near Paris, France, on June 21-22, 2007. The papers are grouped in thematic sections on Rewriting Foundations, Proof and Computation, and a final section entitled Towards Safety and Security.

Author

Title

ISBN-13

Universal Product Code (UPC check)