Relating coalgebraic notions of bisimulation

Published in: Log. Methods Comput. Sci. (2011)

Keyphrases

artificial intelligence
expert systems
computational properties
data sets
knowledge base
case study
mobile robot
equivalence relation