skip to content
Term rewriting and all that Preview this item
ClosePreview this item
Checking...

Term rewriting and all that

Author: Franz Baader; Tobias Nipkow
Publisher: Cambridge : Cambridge University Press, 2006.
Edition/Format:   Print book : English : 1st ed., digital printView all editions and formats
Summary:
"This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Grbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as  Read more...
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Document Type: Book
All Authors / Contributors: Franz Baader; Tobias Nipkow
ISBN: 0521455200 9780521455206 0521779200 9780521779203
OCLC Number: 954143657
Description: XII, 301 p. ; 23 cm
Responsibility: Franz Baader, Tobias Nipkow.

Abstract:

"This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Grbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML."

Reviews

User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


Primary Entity

<http://www.worldcat.org/oclc/954143657> # Term rewriting and all that
    a schema:Book, schema:CreativeWork ;
   library:oclcnum "954143657" ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/340346647#Place/cambridge> ; # Cambridge
   library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
   schema:about <http://experiment.worldcat.org/entity/work/data/340346647#Topic/sistemas_de_reescritura_informatica> ; # Sistemas de reescritura (Informática)
   schema:bookEdition "1st ed., digital print." ;
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://experiment.worldcat.org/entity/work/data/340346647#Person/nipkow_tobias_1958> ; # Tobias Nipkow
   schema:creator <http://experiment.worldcat.org/entity/work/data/340346647#Person/baader_franz> ; # Franz Baader
   schema:datePublished "2006" ;
   schema:description ""This textbook offers a unified and self-contained introduction to the field of term rewriting. It covers all the basic material (abstract reduction systems, termination, confluence, completion, and combination problems), but also some important and closely connected subjects: universal algebra, unification theory, Grbner bases and Buchberger's algorithm. The main algorithms are presented both informally and as programs in the functional language Standard ML."" ;
   schema:exampleOfWork <http://worldcat.org/entity/work/id/340346647> ;
   schema:inLanguage "en" ;
   schema:name "Term rewriting and all that" ;
   schema:numberOfPages "301" ;
   schema:productID "954143657" ;
   schema:publication <http://www.worldcat.org/title/-/oclc/954143657#PublicationEvent/cambridge_cambridge_university_press_2006> ;
   schema:publisher <http://experiment.worldcat.org/entity/work/data/340346647#Agent/cambridge_university_press> ; # Cambridge University Press
   schema:workExample <http://worldcat.org/isbn/9780521455206> ;
   schema:workExample <http://worldcat.org/isbn/9780521779203> ;
   wdrs:describedby <http://www.worldcat.org/title/-/oclc/954143657> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/340346647#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
   schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/340346647#Person/baader_franz> # Franz Baader
    a schema:Person ;
   schema:familyName "Baader" ;
   schema:givenName "Franz" ;
   schema:name "Franz Baader" ;
    .

<http://experiment.worldcat.org/entity/work/data/340346647#Person/nipkow_tobias_1958> # Tobias Nipkow
    a schema:Person ;
   schema:birthDate "1958" ;
   schema:familyName "Nipkow" ;
   schema:givenName "Tobias" ;
   schema:name "Tobias Nipkow" ;
    .

<http://experiment.worldcat.org/entity/work/data/340346647#Topic/sistemas_de_reescritura_informatica> # Sistemas de reescritura (Informática)
    a schema:Intangible ;
   schema:name "Sistemas de reescritura (Informática)" ;
    .

<http://worldcat.org/isbn/9780521455206>
    a schema:ProductModel ;
   schema:isbn "0521455200" ;
   schema:isbn "9780521455206" ;
    .

<http://worldcat.org/isbn/9780521779203>
    a schema:ProductModel ;
   schema:isbn "0521779200" ;
   schema:isbn "9780521779203" ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.