An Elementary Counterexample to the Finiteness Conjecture.

Vincent D. Blondel Jacques Theys Alexander A. Vladimirov

Published in: SIAM J. Matrix Anal. Appl. (2003)

Keyphrases

model checking
formal verification
database
school children
real time
genetic algorithm
knowledge base
high level
artificial neural networks
general purpose
co occurrence