Infinite, Canonical String Rewriting Systems Generated by Completion.

Andrea Sattler-Klein

Published in: LPAR (1992)

Keyphrases

rewriting systems
data structure
database
databases
distance function
pattern matching
structural properties