A Partial Solution for D-Unification Based on a Reduction to AC1-Unification.

Evelyne Contejean

Published in: ICALP (1993)

Keyphrases

partial solutions
higher order
theorem proving
equational theories
neural network
real time
automated theorem proving
databases
genetic algorithm
database systems
data sources
language model
particle swarm optimization