The First-Order Syntax of Variadic Functions.

Samuel Alexander

Published in: Notre Dame J. Formal Log. (2013)

Keyphrases

predicate calculus
higher order
first order logic
decision diagrams
database
data sets
computer vision
decision making
machine learning
image processing
high level
context free grammars
multi valued
stochastic dominance