A Relation-Algebraic Theory of Bisimulations.

Published in: Fundam. Informaticae (2008)

Keyphrases

computational model
three dimensional
algebraic geometry
formal theory
decision trees
theoretical basis
neural network
real world
artificial intelligence
information systems
multiscale
search algorithm
higher order
theoretical framework
conceptual framework
linear algebra