Weak Bisimulation as a Congruence in MSOS.

Peter D. Mosses Ferdinand Vesely

Published in: Logic, Rewriting, and Concurrency (2015)

Keyphrases

socio technical
database
neural network
knowledge discovery
artificial intelligence
pattern recognition
computational complexity
training set
probability distribution
domain specific