Vai al contenuto principale della pagina
Titolo: | Word Equations and Related Topics [[electronic resource] ] : 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings / / edited by Klaus U. Schulz |
Pubblicazione: | Berlin, Heidelberg : , : Springer Berlin Heidelberg : , : Imprint : Springer, , 1992 |
Edizione: | 1st ed. 1992. |
Descrizione fisica: | 1 online resource (VIII, 264 p.) |
Disciplina: | 006.3/5 |
Soggetto topico: | Artificial intelligence |
Mathematical logic | |
Computers | |
Data structures (Computer science) | |
Artificial Intelligence | |
Mathematical Logic and Foundations | |
Theory of Computation | |
Mathematical Logic and Formal Languages | |
Data Structures | |
Persona (resp. second.): | SchulzKlaus U |
Note generali: | Bibliographic Level Mode of Issuance: Monograph |
Nota di contenuto: | Investigations on equations in a free group -- An analysis of Makanin's algorithm deciding solvability of equations in free groups -- Implementation of Makanin's Algorithm -- Makanin's algorithm for word equations-two improvements and a generalization -- Unification theory -- Algebraic and logical aspects of unification -- Model-theoretic aspects of unification -- Complete equational unification based on an extension of the Knuth-Bendix completion procedure -- Unification in varieties of completely regular semigroups -- A note on confluent Thue systems -- Confluence of one-rule Thue systems -- Systems of equations over a finite set of words and automata theory -- New systems of defining relations of the braid group. |
Sommario/riassunto: | 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. |
Titolo autorizzato: | Word Equations and Related Topics |
ISBN: | 3-540-46737-8 |
Formato: | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione: | Inglese |
Record Nr.: | 996465641503316 |
Lo trovi qui: | Univ. di Salerno |
Opac: | Controlla la disponibilità qui |