Deciding Conditional Termination.

Marius Bozga Radu Iosif Filip Konecný

Published in: TACAS (2012)

Keyphrases

support vector
random field model
term rewriting
artificial intelligence
three dimensional
relational databases
real time
knowledge base
making decisions