-calculus.

Published in: Math. Log. Q. (2002)

Keyphrases

computer algebra
algebraic structure
case study
real time
data sets
data mining
machine learning
web services
multi agent
timed automata