On Logical and Concurrent Equivalences.

Julian C. Bradfield Sibylle B. Fröschle

Published in: EXPRESS (2001)

Keyphrases

connected components
neural network
search engine
logical reasoning
data mining
computer vision
mutual exclusion
information systems
website
image sequences
multi agent systems
relational databases
evolutionary algorithm
knowledge representation
logical framework
predicate calculus