Enhanced coalgebraic bisimulation.

Jurriaan Rot Filippo Bonchi Marcello M. Bonsangue Damien Pous Jan Rutten Alexandra Silva

Published in: Math. Struct. Comput. Sci. (2017)

Keyphrases

information retrieval
artificial intelligence
pattern recognition
expert systems
feature vectors