Efficient Full Higher-Order Unification.

Petar Vukmirovic Alexander Bentkamp Visa Nummelin

Published in: Log. Methods Comput. Sci. (2021)

Keyphrases

higher order
data sets
high order
high level
special case
pairwise
cost effective
computationally expensive
highly efficient