A Lambda-Free Higher-Order Recursive Path Order.

Jasmin Christian Blanchette Uwe Waldmann Daniel Wand

Published in: FoSSaCS (2017)

Keyphrases

higher order
real time
real world
information retrieval
evolutionary algorithm
database
data sets
image processing
website
expert systems
pairwise
mobile robot
high order
fixed point
low order
lower order