Hydra Battles and AC Termination, Revisited.

Nao Hirokawa Aart Middeldorp

Published in: CoRR (2023)

Keyphrases

term rewriting
rewrite systems
neural network
termination analysis
artificial intelligence
high level
feature extraction
preprocessing
evolutionary algorithm