An Efficient Coq Tactic for Deciding Kleene Algebras.

Thomas Braibant Damien Pous

Published in: ITP (2010)

Keyphrases

artificial intelligence
data sets
special case
regular expressions
propositional logic
databases
neural network
video sequences
software engineering