A Calculus with Lazy Module Operators.

Davide Ancona Sonia Fagorzi Elena Zucca

Published in: IFIP TCS (2004)

Keyphrases

database
real time
databases
neural network
real world
information systems
knowledge base
query language
edge detection
building blocks
morphological operators
lazy learning
automated deduction
sequent calculus