Linking Algebraic Observational Equivalence and Bisimulation.

Mouhebeddine Berrima Narjes Ben Rajeb

Published in: Developments in Language Theory (2010)

Keyphrases

equivalence relation
rough set theory
databases
causal inference
higher order
expert systems
artificial neural networks
special case
information extraction
rough sets
numerical data
linear algebra
datalog programs