Word Equations and Related Topics - 1st International Workshop, IWWERT '90, Tubingen, Germany, October 1-3, 1990. Proceedings (Paperback, 1992 ed.)

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 572
Release date:	1992
First published:	1992
Editors:	Klaus U. Schulz
Dimensions:	235 x 155 x 14mm (L x W x T)
Format:	Paperback
Pages:	264
Edition:	1992 ed.
ISBN-13:	978-3-540-55124-9
Categories:	Books > Computing & IT > General theory of computing > Mathematical theory of computation Books > Science & Mathematics > Mathematics > Mathematical foundations > Mathematical logic Books > Computing & IT > Applications of computing > Artificial intelligence > General Promotions
LSN:	3-540-55124-7
Barcode:	9783540551249

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!