A proof of Lyndon's finite basis theorem.

Published in: Discret. Math. (1980)

Keyphrases

database systems
interactive theorem proving
complete axiomatization
computer vision
data structure
finite number
genetic algorithm
artificial intelligence
information systems
search algorithm
multiresolution
starting point
theorem prover