Unification in Order-Sorted Logic With Term Declarations.

Rolf Socher-Ambrosius

Published in: LPAR (1993)

Keyphrases

order sorted logic
higher order
neural network
equational theories
data sets
theorem prover