A Predicate Transformer for Unification.

Livio Colussi Elena Marchiori

Published in: JICSLP (1992)

Keyphrases

first order logic
theorem proving
fuzzy logic
theorem prover
higher order
equational theories
power transformers
fault diagnosis
power system
image processing
high voltage
computer science
scheduling problem
pairwise
object recognition
feature extraction
information systems
databases