Weak Bisimulation and Open Maps.

Marcelo P. Fiore Gian Luca Cattani Glynn Winskel

Published in: LICS (1999)

Keyphrases

data structure
information retrieval
databases
neural network
computer vision
image processing
website
case study
digital libraries