Bisimulation maps in presheaf categories.

Harsh Beohar Sebastian Küpper

Published in: CoRR (2019)

Keyphrases

data sets
computer vision
digital libraries
database
case study
data structure
special case
hierarchical structure