C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Termination Proofs for Linear Simple Loops.
Hong Yi Chen
Shaked Flur
Supratik Mukhopadhyay
Published in:
SAS (2012)
Keyphrases
</>
simple linear
neural network
theorem proving
highly reliable
real time
multiresolution
data sets
artificial intelligence
probabilistic model
theorem prover
term rewriting
mathematical proofs