Sign in

Bisimulation as a logical relation.

Claudio HermidaUday S. ReddyEdmund RobinsonAlessio Santamaria
Published in: Math. Struct. Comput. Sci. (2022)
Keyphrases
  • equivalence relation
  • databases
  • real time
  • rough set theory
  • logical representation
  • machine learning
  • decision making
  • multi agent systems
  • binary relations
  • logical structure