Unprovability of the logical characterization of bisimulation.

Pedro Sánchez Terraf

Published in: Inf. Comput. (2011)

Keyphrases

logical representation
logical reasoning
real world
logical properties
database
decision making
image sequences
evolutionary algorithm
logical framework
logical rules