Login / Signup
A Devil's Advocate against Termination of Direct Recursion.
Thom W. Frühwirth
Published in:
CoRR (2017)
Keyphrases
</>
deductive databases
complex objects
case study
pattern recognition
information systems
multiscale
search algorithm
pairwise
medical images
term rewriting