C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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