Unification in Free Extensions of Boolean Rings and Abelian Groups

Alexandre Boudet Jean-Pierre Jouannaud Manfred Schmidt-Schauß

Published in: LICS (1988)

Keyphrases

higher order
real valued
artificial intelligence
theorem proving
neural network
efficient implementation
boolean functions
data sets
genetic algorithm
probabilistic model
cluster analysis
equational theories