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...
Salvato in:
| Ente Autore: | |
|---|---|
| Altri autori: | |
| Natura: | Livre numérique |
| Lingua: | Anglais |
| Pubblicazione: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Serie: | Lecture notes in computer science
572 |
| Soggetti: | |
| Accesso 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 |
| Nota: |
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 |
Sommario:
- 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.