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
* Конвертация файла может нарушить форматирование оригинала. По-возможности скачивайте файл в оригинальном формате.
Популярные книги за неделю:

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

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

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

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

Contemporary Theatre, Film and Television, Volume 97

Автор:
Размер книги: 3.18 Mb
Только что пользователи скачали эти книги:

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

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

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

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

Contemporary Theatre, Film and Television, Volume 97

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

Возвращение воина

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

Божье дело

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

Star Formation and Techniques in Infrared and mm-Wave Astronomy

Автор: , Автор:
Категория: Physics, Lecture notes
Размер книги: 2.85 Mb

Fractures, Fluid Flow and Mineralization

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

ELEX tijdschrift voor hobby-elektronica 1985-20 issue april

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

The Princess of Burundi

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

The Literomancer

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

Death will Tie your Kangaroo Down

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