This volume contains papers presented at the first international workshop on word equations and related topics. The annual workshop is a forum for researchers interested in associative unification and list processing.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Etat : New. In. N° de réf. du vendeur ria9783540551249_new
Quantité disponible : Plus de 20 disponibles
Vendeur : Chiron Media, Wallingford, Royaume-Uni
PF. Etat : New. N° de réf. du vendeur 6666-IUK-9783540551249
Quantité disponible : 10 disponible(s)
Vendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This volume contains papers presented at the firstinternational workshop onword equations and related topicsheld at the University of T}bingen 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. 272 pp. Englisch. N° de réf. du vendeur 9783540551249
Quantité disponible : 2 disponible(s)
Vendeur : moluna, Greven, Allemagne
Etat : New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. This volume contains papers presented at the firstinternational workshop onword equations and related topicsheld at the University of T}bingen in October 1990. Wordequations, the central topic of this annual workshop, lieatthe intersection of several im. N° de réf. du vendeur 4893459
Quantité disponible : Plus de 20 disponibles
Vendeur : buchversandmimpf2000, Emtmannsberg, BAYE, Allemagne
Taschenbuch. Etat : Neu. This item is printed on demand - Print on Demand Titel. Neuware -This volume contains papers presented at the first international workshop on word equations and related topics. The annual workshop is a forum for researchers interested in associative unification and list processing.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 272 pp. Englisch. N° de réf. du vendeur 9783540551249
Quantité disponible : 1 disponible(s)
Vendeur : AHA-BUCH GmbH, Einbeck, Allemagne
Taschenbuch. Etat : Neu. Druck auf Anfrage Neuware - Printed after ordering - This volume contains papers presented at the firstinternational workshop onword equations and related topicsheld at the University of T}bingen 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. N° de réf. du vendeur 9783540551249
Quantité disponible : 1 disponible(s)
Vendeur : preigu, Osnabrück, Allemagne
Taschenbuch. Etat : Neu. Word Equations and Related Topics | 1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings | Klaus U. Schulz | Taschenbuch | viii | Englisch | 1992 | Springer | EAN 9783540551249 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu. N° de réf. du vendeur 102135453
Quantité disponible : 5 disponible(s)