Word equations and related topics : 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings
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 u...
Αποθηκεύτηκε σε:
| Συγγραφή απο Οργανισμό/Αρχή: | |
|---|---|
| Άλλοι συγγραφείς: | |
| Μορφή: | Livre numérique |
| Γλώσσα: | Anglais |
| Έκδοση: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Σειρά: | Lecture notes in computer science
572 |
| Θέματα: | |
| Διαθέσιμο Online: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Σημείωση: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Word equations and related topics, 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990, proceedings, K.U. Schulz (ed.), Berlin, Springer-Verlag, 1992, 1 vol. (256 p.), Lecture notes in computer science, 3-540-55124-7 • Word Equations and Related Topics, Texte imprimé, 9783662188361 |
| LEADER | 04277nam a22004217a 4500 | ||
|---|---|---|---|
| 001 | 944048 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155172840 | ||
| 020 | |a 9783540467373 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International workshop on word equations and related topics |n (01 |d :1990 |c :Tübingen). | |
| 245 | 1 | 0 | |a Word equations and related topics : |b 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 : proceedings |c [edited by] K. U. Schulz. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 572 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a 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. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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. | ||
| 650 | |a Informatique | ||
| 650 | |a Intelligence artificielle | ||
| 650 | |a Logique symbolique et mathématique | ||
| 650 | |a Structures de données (informatique) | ||
| 650 | |a Groupes, Théorie des | ||
| 650 | |a Programmation logique | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Schulz, Klaus Ulrich, |d 1957- |4 pbd | |
| 776 | 0 | |0 022399518 |t Word equations and related topics |o 1st international workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990 |o proceedings |f K.U. Schulz (ed.) |c Berlin |n Springer-Verlag |d 1992 |p 1 vol. (256 p.) |s Lecture notes in computer science |z 3-540-55124-7 | |
| 776 | 0 | |t Word Equations and Related Topics |b Texte imprimé |z 9783662188361 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/3-540-55124-7 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-TD69HCXP-V |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747923221 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/3-540-55124-7 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750935510 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/3-540-55124-7 |z Accès INSA CVL | |
| 997 | |0 944048 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||