A counterexample to a conjecture concerning concatenation hierarchies.

Jorge Almeida Ondrej Klíma

Published in: Inf. Process. Lett. (2009)

Keyphrases

model checking
formal verification
regular expressions
real world
data mining
search engine
data structure
data model