Eliminating Disjunctions of Leads-to Properties.

Kenneth L. Calvert

Published in: Inf. Process. Lett. (1994)

Keyphrases

structural properties
learning environment
control system
desirable properties
data sets
artificial intelligence
web services
high quality
search algorithm
pattern recognition
topological properties
key properties