Nominal unification with atom-variables.

Manfred Schmidt-Schauß David Sabel Yunus D. K. Kutz

Published in: J. Symb. Comput. (2019)

Keyphrases

relevant variables
higher order
variable selection
equational theories
random variables
databases
function symbols
relational databases
association rules
graphical models
multiscale
theorem prover
theorem proving
input variables
causal models
structural model
image sequences
case study