Login / Signup
Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation.
Irek Ulidowski
Shoji Yuen
Published in:
J. Log. Algebraic Methods Program. (2004)
Keyphrases
</>
artificial intelligence
multiscale
language independent
database
data mining
learning algorithm
metadata
case study
expressive power
development process