Some reordering properties for inequality proof trees.

Michael M. Richter

Published in: Logic and Machines (1983)

Keyphrases

decision trees
desirable properties
tree structures
data sets
real time
structural properties
real world
artificial intelligence
theorem proving
labeled trees
imperative programs