Login / Signup
Deadlines are termination.
Ian J. Hayes
Mark Utting
Published in:
PROCOMET (1998)
Keyphrases
</>
term rewriting
response time
rewrite systems
active rules
computer vision
search algorithm
special case
data sets
information retrieval
case study
high level
data streams
timing constraints
term rewrite systems