Login / Signup
Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization.
Sophie Renault
Eduard Cerny
Published in:
Electron. Notes Theor. Comput. Sci. (1999)
Keyphrases
</>
state space
real time
information retrieval systems
databases
image processing
video sequences
search space
low level
rewrite systems