A Proof Method for Local Sufficient Completeness of Term Rewriting Systems.

Tomoki Shiraishi Kentaro Kikuchi Takahito Aoto

Published in: ICTAC (2021)

Keyphrases

high accuracy
detection method
preprocessing
high precision
objective function
pairwise
clustering method
term rewriting systems
neural network
feature selection
similarity measure
computational cost
support vector machine
theorem prover