Modal Kleene Algebra Applied to Program Correctness.

Victor B. F. Gomes Georg Struth

Published in: FM (2016)

Keyphrases

genetic algorithm
query language
machine learning
clustering algorithm
video sequences
search algorithm
artificial neural networks
source code
clustering method
regular expressions