Cambridge Tracts in Theoretical Computer ScienceSeries Number 55- Term Rewriting Systems Series Number 55: Term Rewriting Systems
Afbeeldingen
Sla de afbeeldingen overArtikel vergelijken
Uitgever: Cambridge University Press
- Engels
- Hardcover
- 9780521391153
- 20 maart 2003
- 908 pagina's
Samenvatting
An introduction to term rewriting for researchers. Features exercises, solutions and applications.
Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This 2003 book starts at an elementary level with the earlier chapters providing a foundation for the rest of the work. Much of the advanced material appeared here for the first time in book form. Subjects treated include orthogonality, termination, completion, lambda calculus, higher-order rewriting, infinitary rewriting and term graph rewriting. Many exercises are included with selected solutions provided on the web. A comprehensive bibliography makes this book ideal both for teaching and research. A chapter is included presenting applications of term rewriting systems, with many pointers to actual implementations.
Term rewriting systems developed out of mathematical logic and are an important part of theoretical computer science. They consist of sequences of discrete transformation steps where one term is replaced with another and have applications in many areas, from functional programming to automatic theorem proving and computer algebra. This 2003 book starts at an elementary level with the earlier chapters providing a foundation for the rest of the work. Much of the advanced material appeared here for the first time in book form. Subjects treated include orthogonality, termination, completion, lambda calculus, higher-order rewriting, infinitary rewriting and term graph rewriting. Many exercises are included with selected solutions provided on the web. A comprehensive bibliography makes this book ideal both for teaching and research. A chapter is included presenting applications of term rewriting systems, with many pointers to actual implementations.
Productspecificaties
Wij vonden geen specificaties voor jouw zoekopdracht '{SEARCH}'.
Inhoud
- Taal
- en
- Bindwijze
- Hardcover
- Oorspronkelijke releasedatum
- 20 maart 2003
- Aantal pagina's
- 908
- Illustraties
- Met illustraties
Betrokkenen
- Hoofdauteur
- Terese
- Tweede Auteur
- J.W. Klop
- Co Auteur
- Terese
- Hoofdredacteur
- Marc Bezem
- Tweede Redacteur
- Jan Willem Klop
- Co Redacteur
- Roel de Vrijer
- Hoofduitgeverij
- Cambridge University Press
Overige kenmerken
- Editie
- New title
- Extra groot lettertype
- Nee
- Product breedte
- 158 mm
- Product hoogte
- 47 mm
- Product lengte
- 236 mm
- Studieboek
- Ja
- Verpakking breedte
- 158 mm
- Verpakking hoogte
- 47 mm
- Verpakking lengte
- 236 mm
- Verpakkingsgewicht
- 1640 g
EAN
- EAN
- 9780521391153
Je vindt dit artikel in
- Categorieën
- Boek, ebook of luisterboek?
- Boek
- Taal
- Engels
- Studieboek of algemeen
- Studieboeken
Kies gewenste uitvoering
Bindwijze
: Hardcover
Prijsinformatie en bestellen
Rapporteer dit artikel
Je wilt melding doen van illegale inhoud over dit artikel:
- Ik wil melding doen als klant
- Ik wil melding doen als autoriteit of trusted flagger
- Ik wil melding doen als partner
- Ik wil melding doen als merkhouder
Geen klant, autoriteit, trusted flagger, merkhouder of partner? Gebruik dan onderstaande link om melding te doen.