Login / Signup

Mechanical Proofs of Properties of the Tribonacci Word.

Hamoon MousaviJeffrey O. Shallit
Published in: WORDS (2015)
Keyphrases
  • artificial intelligence
  • structural properties
  • desirable properties
  • expert systems
  • information extraction
  • information retrieval systems
  • theorem proving