Refinement Trees: Calculi, Tools, and Applications.

Mihai Codescu Till Mossakowski

Published in: CALCO (2011)

Keyphrases

decision trees
real time
software tools
artificial intelligence
end users
user friendly
tree automata
databases
neural network
data mining
metadata
web services
decision support
tree structure