Process theory based on bisimulation semantics.

Jan A. Bergstra Jan Willem Klop

Published in: REX Workshop (1988)

Keyphrases

neural network
theoretical framework
theoretical basis
real time
data sets
real world
machine learning
learning algorithm
search algorithm