libcats.org
Главная

Rewriting Techniques and Applications, 10 conf., RTA-99

Обложка книги Rewriting Techniques and Applications, 10 conf., RTA-99

Rewriting Techniques and Applications, 10 conf., RTA-99

,
This book constitutes the refereed proceedings of the 10th International Conference on Rewriting Techniques and Applications, RTA-99, held in Trento, Italy in July 1999 as part of FLoC'99. The 23 revised full papers presented were carefully selected from a total of 53 submissions. Also included are four system descriptions as well as three invited contributions. Among the topics covered are constraint solving, termination, deduction and higher order rewriting, graphs, complexity, tree automata, context-sensitive rewriting, string rewriting and numeration systems, etc.
EPUB | FB2 | MOBI | TXT | RTF
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

Nucleation (Butterworth 2000)

Автор:
Категория: Phase transitions
Размер книги: 4.70 Mb

50 рецептов для аэрогриля

Автор:
Категория: house, house, cook
Размер книги: 771 Kb

Ключ к сверхсознанию

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

Истинный дог

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

Help Yourself

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

Poison Pages

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

Witch Blood

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