Coherence in SMCCS and equivalences on derivations in IMLL with unit.

L. Méhats Sergei Soloviev

Published in: Ann. Pure Appl. Log. (2007)

Keyphrases

connected components
inference rules
relational algebra
information retrieval
genetic algorithm
image processing
machine learning
artificial intelligence
computer vision
video sequences
expert systems
wireless sensor networks
management system
binary images
control unit