Bisimulation is Not Finitely (First Order) Equationally Axiomatisable

Published in: LICS (1994)

Keyphrases

higher order
first order logic
stochastic dominance
finite number
databases
neural network
learning algorithm
information systems
image processing
case study
data exchange
inductive inference
equivalence relation
real numbers