Rewriting techniques and applications; Jean-Pierre Jouannaud; 1987
Rewriting techniques and applications; Jean-Pierre Jouannaud; 1987

Rewriting techniques and applications

av Jean-Pierre Jouannaud

  • Utgiven: 1987
  • ISBN: 9780123909602
  • Sidor: 216 st
  • Förlag: Academic
  • Språk: Engelska

Om boken

The theory and practice of term rewriting is now well-established and the focus of growing interest in the world of computer science. This book brings together a collection of original research contributions and surveys of existing knowledge. Some of the most significant developments in term rewriting theory are reviewed, as well as a history of the most important discovery in the field, namely the notion of a critical pair and its natural consequence, the completion algorithm. Many of the new ideas developed have important applications in other fields of theoretical computing. Therefore, this book should be of interest to researchers from areas such as logic programming, computer algebra, and functional programming.

Åtkomstkoder och digitalt tilläggsmaterial garanteras inte med begagnade böcker

Mer om Rewriting techniques and applications (1987)

1987 släpptes boken Rewriting techniques and applications skriven av Jean-Pierre Jouannaud. Den är skriven på engelska och består av 216 sidor. Förlaget bakom boken är Academic.

Köp boken Rewriting techniques and applications på Studentapan och spara pengar.

Tillhör kategorierna

Referera till Rewriting techniques and applications

Harvard

Jouannaud, J.-P. (1987). Rewriting techniques and applications. Academic.

Oxford

Jouannaud, Jean-Pierre, Rewriting techniques and applications (Academic, 1987).

APA

Jouannaud, J.-P. (1987). Rewriting techniques and applications. Academic.

Vancouver

Jouannaud JP. Rewriting techniques and applications. Academic; 1987.

Köp boken

Begagnad

Tillfälligt slut

Helt ny

Tillfälligt slut

Tillfälligt slut

Varje vecka tillkommer tusentals nya säljare på Studentapan. Bevaka boken så får du meddelande när den finns tillgänglig igen.