Word Equations and Related Topics
1st International Workshop, IWWERT '90, Tübingen, Germany, October 1-3, 1990. Proceedings
Buch in deiner Nähe kaufen
Beschreibung
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.
Autor*in
Klaus U. Schulz
Themen in »Word Equations and Related Topics«
Listen-Bearbeitung Makanin-Algorithmus Makanin-algorithm Theue systems Thue-Systeme Wort-Gleichungen Wort-Kombinatorik algorithms combinatorics combinatorics on words list processing logic model theory programming word equations