The Unification Problem for One Relation Thue Systems.

Christopher Lynch

Published in: AISC (1998)

Keyphrases

distributed systems
computer systems
complex systems
expert systems
higher order
data sets
information systems
relational databases
theorem proving