Login / Signup
Coinductive Verification of Program Optimizations Using Similarity Relations.
Sabine Glesner
Johannes Leitner
Jan Olaf Blech
Published in:
Electron. Notes Theor. Comput. Sci. (2007)
Keyphrases
</>
similarity relations
model checking
fuzzy relations
real time
neural network
rough sets
genetic algorithm
knowledge representation