Skip to content

Canonical Equational Proofs
Stock Photo: Cover May Be Different

Canonical Equational Proofs Paperback - 1991

by Bachmair


From the publisher

Equations occur in many computer applications, such as symbolic compu- tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving. Rewrite systems are directed equations used to compute by replacing subterms in a given formula by equal terms until a simplest form possible, called a normal form, is obtained. The theory of rewriting is concerned with the compu- tation of normal forms. We shall study the use of rewrite techniques for reasoning about equations. Reasoning about equations may, for instance, involve deciding whether an equation is a logical consequence of a given set of equational axioms. Convergent rewrite systems are those for which the rewriting process de- fines unique normal forms. They can be thought of as non-deterministic functional programs and provide reasonably efficient decision procedures for the underlying equational theories. The Knuth-Bendix completion method provides a means of testing for convergence and can often be used to con- struct convergent rewrite systems from non-convergent ones. We develop a proof-theoretic framework for studying completion and related rewrite- based proof procedures. We shall view theorem provers as proof transformation procedures, so as to express their essential properties as proof normalization theorems.

Details

  • Title Canonical Equational Proofs
  • Author Bachmair
  • Binding Paperback
  • Edition First
  • Pages 138
  • Volumes 1
  • Language ENG
  • Publisher Birkhauser
  • Date 1991-06-01
  • Illustrated Yes
  • ISBN 9780817635558 / 0817635556
  • Weight 0.49 lbs (0.22 kg)
  • Dimensions 9.21 x 6.14 x 0.33 in (23.39 x 15.60 x 0.84 cm)
  • Library of Congress Catalog Number 91-11461
  • Dewey Decimal Code 511.3
Back to Top

More Copies for Sale

Canonical Equational Proofs
Stock Photo: Cover May Be Different

Canonical Equational Proofs

by Bachmair

  • New
Condition
New
ISBN 13
9780817635558
ISBN 10
0817635556
Quantity Available
1
Seller
Woodside, New York, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$47.05
$3.99 shipping to USA

Show Details

Description:
Springer , pp. 152 . Papeback. New.
Item Price
$47.05
$3.99 shipping to USA
CANONICAL EQUATIONAL PROOFS.
Stock Photo: Cover May Be Different

CANONICAL EQUATIONAL PROOFS.

by Bachmair, Leo.

  • Used
  • Fine
  • Hardcover
  • first
Condition
Used - Fine
Binding
Hardcover
ISBN 13
9780817635558
ISBN 10
0817635556
Quantity Available
1
Seller
North Reading, Massachusetts, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$50.00
$5.00 shipping to USA

Show Details

Description:
Birkhauser:, 1991. The first printing, 135 pages. "This monograph studies the application of rewrite techniques to equational reasoning. Various rewrite-based proof methods are formalized at an abstract level as equational inference systems and techniques for reasoning about such ingerence systems are developed based on the concepts of normal-form proofs and proof orderings." FINE HARDCOVER.. Hard Cover. Fine/Not Issued with a Dust Jacket.. 8vo - over 7¾" - 9¾" tall.
Item Price
$50.00
$5.00 shipping to USA
Canonical Equational Proofs
Stock Photo: Cover May Be Different

Canonical Equational Proofs

by Bachmair

  • New
Condition
New
ISBN 13
9780817635558
ISBN 10
0817635556
Quantity Available
559
Seller
Uxbridge, Greater London, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$65.96
$10.20 shipping to USA

Show Details

Description:
New. New Book; Fast Shipping from UK; Not signed; Not First Edition; The Canonical Equational Proofs.
Item Price
$65.96
$10.20 shipping to USA
Canonical Equational Proofs
Stock Photo: Cover May Be Different

Canonical Equational Proofs

by Bachmair, Leo

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 13
9780817635558
ISBN 10
0817635556
Quantity Available
2
Seller
Exeter, Devon, United Kingdom
Seller rating:
This seller has earned a 4 of 5 Stars rating from Biblio customers.
Item Price
$71.70
$12.77 shipping to USA

Show Details

Description:
Birkhauser, 1991. Paperback. New. 1st edition. 152 pages. 9.40x6.20x0.70 inches.
Item Price
$71.70
$12.77 shipping to USA
Canonical Equational Proofs
Stock Photo: Cover May Be Different

Canonical Equational Proofs

by Leo Bachmair

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 13
9780817635558
ISBN 10
0817635556
Quantity Available
10
Seller
Southport, Merseyside, United Kingdom
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$75.63
$12.71 shipping to USA

Show Details

Description:
Paperback / softback. New. Equations occur in many computer applications, such as symbolic compu- tation, functional programming, abstract data type specifications, program verification, program synthesis, and automated theorem proving.
Item Price
$75.63
$12.71 shipping to USA
CANONICAL EQUATIONAL PROOFS - PROGRESS IN THEORETICAL COMPUTER SCIENCE
Stock Photo: Cover May Be Different

CANONICAL EQUATIONAL PROOFS - PROGRESS IN THEORETICAL COMPUTER SCIENCE

by BACHMAIR, LEO,

  • New
Condition
New
Edition
N/A
ISBN 13
9780817635558
ISBN 10
0817635556
Quantity Available
5
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$63.00
$10.00 shipping to USA

Show Details

Description:
Birk, 1991. N/A. Unknown Binding. New/New.
Item Price
$63.00
$10.00 shipping to USA
Canonical Equational Proofs - Progress In Theoretical Computer Science
Stock Photo: Cover May Be Different

Canonical Equational Proofs - Progress In Theoretical Computer Science

by Bachmair, Leo,

  • New
Condition
New
ISBN 13
9780817635558
ISBN 10
0817635556
Quantity Available
1
Seller
New Delhi, India
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$69.82
$5.00 shipping to USA

Show Details

Description:
New/New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!
Item Price
$69.82
$5.00 shipping to USA
Canonical Equational Proofs (Progress in Theoretical Computer Science)
Stock Photo: Cover May Be Different

Canonical Equational Proofs (Progress in Theoretical Computer Science)

by Bachmair

  • New
  • Paperback
Condition
New
Binding
Paperback
ISBN 13
9780817635558
ISBN 10
0817635556
Quantity Available
5
Seller
campbelltown, Florida, United States
Seller rating:
This seller has earned a 5 of 5 Stars rating from Biblio customers.
Item Price
$72.00
$15.00 shipping to USA

Show Details

Description:
Birkhäuser. Paperback. New. 9x6x0.
Item Price
$72.00
$15.00 shipping to USA