Unification Theories: New Results and Examples.

Florin F. Nichita

Published in: Axioms (2019)

Keyphrases

higher order
computer programs
real world
database
information retrieval
information systems
optimal solution
small number
training examples
theorem proving
key concepts
probability theory
equational theories