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 |

Continue