Word Equations and Related Topics

Word Equations and Related Topics

4.11 - 1251 ratings - Source

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


You Must CONTINUE and create a free account to access unlimited downloads & streaming