libcats.org
Главная

Term rewriting and all that

Обложка книги Term rewriting and all that

Term rewriting and all that

,
This textbook offers a unified, self-contained introduction to the field of term rewriting. Baader and Nipkow cover 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, Gröbner bases, and Buchberger's algorithm. They present the main algorithms both informally and as programs in the functional language Standard ML (An appendix contains a quick and easy introduction to ML). Key chapters cover crucial algorithms such as unification and congruence closure in more depth and develop efficient Pascal programs. The book contains many examples and over 170 exercises. This is also an ideal reference book for professional researchers: results spread over many conference and journal articles are collected here in a unified notation, detailed proofs of almost all theorems are provided, and each chapter closes with a guide to the literature.
Популярные книги за неделю:

Каникулы

Автор:
Размер книги: 13 Kb

Очищение

Автор:
Категория: История
Размер книги: 602 Kb

Ремонт импортных телевизоров

Автор: , Автор:
Категория: civil, civil, hardware
Размер книги: 5.24 Mb

C Primer Plus

Автор:
Категория: COmputer & Programming
Размер книги: 7.40 Mb

Быль-сказка о карандашах и красках

Автор:
Категория: Children
Размер книги: 5.81 Mb

The Ultimate Guide to Video Game Writing and Design

Автор:
Размер книги: 1.88 Mb

Mein Kampf

Автор:
Категория: fiction
Размер книги: 701 Kb
Только что пользователи скачали эти книги:

Дитя Вуду

Автор:
Категория: Ужасы и Мистика
Размер книги: 152 Kb

Sous Le Soleil De Satan

Автор:
Размер книги: 608 Kb

Близнецы

Автор:
Размер книги: 2 Kb

Friedman, CS - Coldfire Trilogy 01 - Black Sun Rising

Автор:
Размер книги: 600 Kb

Каштан посевной

Автор:
Категория: Медицина
Размер книги: 1 Kb

Al Comienzo era el Amor: Psicoanálisis y Fe

Автор:
Размер книги: 507 Kb

Amasterful man

Автор:
Категория: fiction
Размер книги: 384 Kb

Der Adler ist gelandet

Автор:
Категория: fiction
Размер книги: 1.67 Mb