Coverart for item
The Resource Word equations and related topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 proceedings, edited by K.U. Schulz

Word equations and related topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 proceedings, edited by K.U. Schulz

Label
Word equations and related topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 proceedings
Title
Word equations and related topics
Title remainder
1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 proceedings
Statement of responsibility
edited by K.U. Schulz
Creator
Contributor
Subject
Genre
Language
eng
Summary
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
Member of
Dewey number
005.131
Image bit depth
0
Index
no index present
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1990
http://bibfra.me/vocab/lite/meetingName
IWWERT '90
Nature of contents
dictionaries
http://library.link/vocab/relatedWorkOrContributorDate
1957-
http://library.link/vocab/relatedWorkOrContributorName
Schulz, K. U.
Series statement
Lecture Notes in Computer Science,
Series volume
572
http://library.link/vocab/subjectName
  • Natural language processing (Computer science)
  • Group theory
Label
Word equations and related topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 proceedings, edited by K.U. Schulz
Instantiates
Publication
Antecedent source
mixed
Color
not applicable
Contents
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
Control code
ocn827359991
Dimensions
unknown
Extent
1 online resource
File format
multiple file formats
Form of item
online
Isbn
9783540467373
Level of compression
uncompressed
Note
SpringerLink
Other physical details
v.: digital
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)827359991
Label
Word equations and related topics : 1st International Workshop, IWWERT '90 Tübingen, Germany, October 1990 proceedings, edited by K.U. Schulz
Publication
Antecedent source
mixed
Color
not applicable
Contents
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
Control code
ocn827359991
Dimensions
unknown
Extent
1 online resource
File format
multiple file formats
Form of item
online
Isbn
9783540467373
Level of compression
uncompressed
Note
SpringerLink
Other physical details
v.: digital
Quality assurance targets
absent
Reformatting quality
access
Specific material designation
remote
System control number
(OCoLC)827359991

Library Locations

    • InternetBorrow it
      Albany, Auckland, 0632, NZ
Processing Feedback ...