Login / Signup
Termination of λΠ modulo rewriting using the size-change principle (work in progress).
Frédéric Blanqui
Guillaume Genestier
Published in:
CoRR (2018)
Keyphrases
</>
termination analysis
neural network
scales linearly
databases
real world
artificial neural networks
logic programs
window size
rewrite rules