Unification in Boolean Rings.

Ursula Martin Tobias Nipkow

Published in: J. Autom. Reason. (1988)

Keyphrases

real valued
higher order
boolean functions
theorem proving
boolean queries
equational theories
databases
information systems
image segmentation
web services
case study
reinforcement learning
boolean expressions
boolean logic
boolean networks
threshold functions