Login / Signup
Multi-Context Automated Lemma Generation for Term Rewriting Induction with Divergence Detection.
Chengcheng Ji
Masahito Kurihara
Haruhiko Sato
Published in:
IEICE Trans. Inf. Syst. (2019)
Keyphrases
</>
term rewriting
context sensitive
object detection
detection method
automated analysis
theorem proving
email
semi automated
automatic detection
detection algorithm
contextual information
detection rate
inductive learning
inductive inference
context aware
database
knuth bendix