Incorporating Semantics into 2-D Strings.

Mary Lou Dorf Andreia F. Mahler Paul F. Lehmann

Published in: ACM Conference on Computer Science (1994)

Keyphrases

formal semantics
string matching
semantic information
operational semantics
natural language processing
semantic representation
website
case study
natural language
distance measure
logic programming
distance function
edit distance
proof theory