A Practical Approach to Courcelle's Theorem.

Joachim Kneis Alexander Langer

Published in: Electron. Notes Theor. Comput. Sci. (2009)

Keyphrases

von neumann
information retrieval
interactive theorem proving
multimedia
information systems
image processing
learning environment
cooperative
pattern recognition
probability distribution