Login / Signup
Innermost Reachability and Context Sensitive Reachability Properties Are Decidable for Linear Right-Shallow Term Rewriting Systems.
Yoshiharu Kojima
Masahiko Sakai
Published in:
RTA (2008)
Keyphrases
</>
context sensitive
term rewriting systems
transitive closure
state space
context free
natural language
multiple task learning
question answering
natural language processing
spelling correction
general purpose
language model
logic programs
multiword
query language
query evaluation