Free Variables and Theories: Revisiting Rigid E-unification.

Peter Backeman Philipp Rümmer

Published in: FroCos (2015)

Keyphrases

equational theories
relevant variables
variable selection
database
higher order
theorem proving
input variables
function symbols
information systems
three dimensional
random variables
theoretical framework
logical formulas