Kontakt
Jak kupować
Dostawa
Doradca ds. zakupów
Word Equations and Related Topics
First International Workshop, Tübingen, Germany, October 1-3, 1990. Proceedings
Angielski
125 b
Nawet do 30 dni na zwrot
Klienci kupili także
/
Miękka
85.53
zł
/
Nuty
134.61
zł
/
Książka
306.72
zł
This volume contains papers presented at the first international workshop on word equations and related topics held at the University of Tübingen in October 1990. Word equations, the central topic of this annual workshop, lie at the intersection of several important areas of computer science, such as unification theory, combinatorics on words, list processing, and constraint logic programming. The workshop is a forum where researchers from these different domains may present and discuss results and ideas, there by 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.
Informacje o książce
Angielski
Kategoria
Podaruj tę książkę jeszcze dziś
To łatwe
1 Dodaj książkę do koszyka i wybierz „dostarczyć jako prezent” 2 W odpowiedzi wyślemy Ci bon 3 Książka dotrze na adres obdarowanegoMogłoby Cię także zainteresować
/
Miękka
40.86
zł
/
Twarda
161.62
zł
Cześć! Jestem Libroamiko, Twój doradca książkowy.
Jak mogę Ci pomóc?