Termination Tools in Ordered Completion.

Sarah Winkler Aart Middeldorp

Published in: IJCAR (2010)

Keyphrases

software tools
decision support
databases
user friendly
design decisions
neural network
information systems
multiscale
visualization tool
term rewriting