Type Matching, Type-Graphs, and the Schanuel Conjecture.

Jacob Katzenelson Shlomit S. Pinter Eugen Schenfeld

Published in: ACM Trans. Program. Lang. Syst. (1992)

Keyphrases

graph matching
pattern matching
real time
learning algorithm
artificial intelligence
information systems
database systems
image retrieval
shape matching
graph theoretic