Deciding Kleene algebra terms equivalence in Coq.

Nelma Moreira David Pereira Simão Melo de Sousa

Published in: J. Log. Algebraic Methods Program. (2015)

Keyphrases

databases
real time
genetic algorithm
co occurrence
computer vision
feature selection
artificial neural networks
query language
propositional logic