Exact Unification and Admissibility.

Leonardo Manuel Cabrer George Metcalfe

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

Keyphrases

higher order
object recognition
exact solution
brute force
data sets
information systems
website
image segmentation
video sequences