Free shipping on orders over $99
Word Equations and Related Topics

Word Equations and Related Topics

1st International Workshop, IWWERT '90, Tuebingen, Germany, October 1-3, 1990. Proceedings

by Klaus U. Schulz
Paperback
Publication Date: 29/01/1992

Share This Book:

 
$158.95
This volume contains papers presented at the firstinternational workshop onword equations and related topicsheld at the University of Tbingen in October 1990. Wordequations, the central topic of this annual workshop, lieatthe intersection of several important areas of computerscience, suchas unification theory, combinatorics on words,list processing, and constraint logic programming. Theworkshop is a forum where researchers fromthese differentdomains may present and discuss results and ideas, therebysupporting interaction and cross-fertilization betweentheoretical questions and practical applications. The volumecollects 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, associativeunification and Makanin's algorithm to decide thesolvability of equations in free semigroups, generalunification theory and its relationship to algebra and modeltheory, Thue systems, and finitely presented groups.
ISBN:
9783540551249
9783540551249
Category:
Artificial intelligence
Format:
Paperback
Publication Date:
29-01-1992
Language:
English
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Country of origin:
Germany
Pages:
264
Dimensions (mm):
235x155x14mm
Weight:
0.85kg

Click 'Notify Me' to get an email alert when this item becomes available

Reviews

Be the first to review Word Equations and Related Topics.