Computing in Systems Described by Equations

Language: English

Published by Springer Berlin Heidelberg, 1977

3540085319 / 9783540085317

  • Softcover
  • New
See all details

Seller: moluna, Greven, Germanymoluna

5-star seller

AbeBooks seller since July 9, 2020

Softcover

Condition: New

£ 12.11

£ 40.87 shipping 
Ships from Germany to U.S.A.

Quantity: 1 available

Add to basket
Free 30-day returns

Item description from seller

I: Introduction.- II: Syntax, semantics and proof theory for equational logic.- III: Subtree replacement systems.- IV: The confluence property and the Church-Rosser property.- V: Termination.- VI: Costs of reduction sequences.- VII: Schematic definitions of.

Seller Inventory # 4880066

Title
Computing in Systems Described by Equations
Author
M.J. O'Donnell
Publisher
Springer Berlin Heidelberg
Publication year
1977
Condition
New
Binding
Soft cover
Language
English
ISBN 10
3540085319
ISBN 13
9783540085317
Seller catalogs
Mathematik/Naturwissenschaften/Technik/Medizin

moluna

Greven, Germany

5-star seller

AbeBooks seller since July 9, 2020

Shipping rates from Germany to U.S.A.

Item13 to 40 business days13 to 40 business days
First item£ 40.87£ 40.87
Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.

Payment methods

  • Visa
  • Mastercard
  • American Express
  • Apple Pay
  • Google Pay
  • Bank Wire Transfer
  • Check
  • Paypal

Store description

Online Handel nur mit Neubüchern

Seller's business information

Moluna GmbH

Engberdingdamm 27
Greven, Germany 48268

About Us

Legal website operator identification:

Moluna GmbH
Represented by the general manager Helge Blischke
Engberdingdamm 27
48268 Greven
Germany
Telephone: 02571/5698933
Telefax: 02571/5698930
E-Mail: abe@moluna.de
VAT No.: DE296281834
listed in the commercial register of the local court Steinfurt
Commercial register number - Part B of the commercial register - 10553

We are a member of the initiative „FairCommerce“ since 24.07.2015.
For more information, see: www.haendlerbund.de/faircommerce.