Certified Equational Reasoning via Ordered Completion.

Christian Sternagel Sarah Winkler

Published in: CADE (2019)

Keyphrases

real time
computer vision
neural network
partially ordered
ordered sets
information retrieval
multimedia
decision trees
optimal solution
special case
technical support