Login / Signup
Termination of Context-Sensitive Rewriting with Built-In Numbers and Collection Data Structures.
Stephan Falke
Deepak Kapur
Published in:
WFLP (2009)
Keyphrases
</>
context sensitive
data structure
termination analysis
multiword
natural language
information retrieval
language model
context free
multiple task learning
spelling correction
active rules
document collections