Unification in Boolean Rings and Abelian Groups.

Alexandre Boudet Jean-Pierre Jouannaud Manfred Schmidt-Schauß

Published in: J. Symb. Comput. (1989)

Keyphrases

real valued
boolean functions
theorem proving
databases
data mining
theorem prover
information retrieval
search engine
special case
rough sets