Amalgamation in CASL via Enriched Signatures.

Lutz Schröder Till Mossakowski Andrzej Tarlecki

Published in: ICALP (2001)

Keyphrases

signature verification
signature recognition
real time
lower bound
databases
knowledge base
image processing
decision trees
spectral signatures