Term Rewriting and All That

Denne lærebog tilbyder en samlet og selvstændig introduktion til området for omskrivning af termer. Det dækker alt det grundlæggende materiale (abstrakte reduktionssystemer, terminering, sammenløb, færdiggørelse og kombinationsproblemer), men også nogle vigtige og tæt forbundne emner: universel algebraforeningsteori, Grãbner-baser og Buchbergers algoritme. De vigtigste algoritmer præsenteres både uformelt og som programmer i det funktionelle sprog Standard ML (et bilag indeholder en hurtig og nem introduktion til ML). Visse afgørende algoritmer som forening og kongruenslukning dækkes mere dybtgående, og Pascal-programmer udvikles. Bogen indeholder mange eksempler og over 170 øvelser. Denne tekst er også en ideel referencebog for professionelle forskere: resultater, der er spredt over mange konference- og tidsskriftartikler, samles i en samlet notation, beviser for næsten alle sætninger leveres, og hvert kapitel afsluttes med en guide til litteraturen. Sprog: Engelsk