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.In this paper we establish a relation between unification theory and classical model theory. ... Inspired from work in classical mathematics we consider the following question: Given an arbitrary first-order theory T with some (standard) model Aanbsp;...
|Title||:||Word Equations and Related Topics|
|Author||:||Klaus U. Schulz|
|Publisher||:||Springer Science & Business Media - 1992-01-29|