Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Schulz K. U. — Word Equations and Related Topics: 1st International Workshop, IWWERT '90, T?bingen, Germany, October 1-3, 1990. Proceedings
Schulz K. U. — Word Equations and Related Topics: 1st International Workshop, IWWERT '90, T?bingen, Germany, October 1-3, 1990. Proceedings



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Word Equations and Related Topics: 1st International Workshop, IWWERT '90, T?bingen, Germany, October 1-3, 1990. Proceedings

Автор: Schulz K. U.

Аннотация:

This volume contains papers presented at the first international workshop onword equations and related topics held at the University of T}bingen in October 1990. Word equations, the central topic of this annual workshop, lieat the intersection of several important areas of computer science, suchas unification theory, combinatorics on words, list processing, and constraint logic programming. The workshop is a forum where researchers fromthese different domains may present and discuss results and ideas, thereby supporting interaction and cross-fertilization between theoretical questions and practical applications. The volume collects papers which: - contain new and relevant results, - describe a new approach to a subject, or - give a survey of main developments in an area. Papers cover investigations on free groups, associative unification and Makanin's algorithm to decide the solvability of equations in free semigroups, general unification theory and its relationship to algebra and model theory, Thue systems, and finitely presented groups.


Язык: en

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Издание: 1

Год издания: 1992

Количество страниц: 263

Добавлена в каталог: 23.02.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте