@inproceedings{DBLP:conf/cwords/MousaviS15,
  author    = {Hamoon Mousavi and
               Jeffrey Shallit},
  title     = {Mechanical Proofs of Properties of the Tribonacci Word},
  booktitle = {Combinatorics on Words - 10th International Conference, {WORDS} 2015,
               Kiel, Germany, September 14-17, 2015, Proceedings},
  pages     = {170--190},
  year      = {2015},
  crossref  = {DBLP:conf/cwords/2015},
  url       = {https://doi.org/10.1007/978-3-319-23660-5\_15},
  doi       = {10.1007/978-3-319-23660-5\_15},
  timestamp = {Wed, 24 May 2017 08:29:33 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/cwords/MousaviS15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"FGackbZJRp7bSqqFv","bibbaseid":"mousavi-shallit-mechanicalproofsofpropertiesofthetribonacciword-2015","downloads":0,"creationDate":"2019-01-08T11:55:07.478Z","title":"Mechanical Proofs of Properties of the Tribonacci Word","author_short":["Mousavi, H.","Shallit, J."],"year":2015,"bibtype":"inproceedings","biburl":"https://dblp.org/pid/s/JeffreyShallit.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Hamoon"],"propositions":[],"lastnames":["Mousavi"],"suffixes":[]},{"firstnames":["Jeffrey"],"propositions":[],"lastnames":["Shallit"],"suffixes":[]}],"title":"Mechanical Proofs of Properties of the Tribonacci Word","booktitle":"Combinatorics on Words - 10th International Conference, WORDS 2015, Kiel, Germany, September 14-17, 2015, Proceedings","pages":"170–190","year":"2015","crossref":"DBLP:conf/cwords/2015","url":"https://doi.org/10.1007/978-3-319-23660-5_15","doi":"10.1007/978-3-319-23660-5_15","timestamp":"Wed, 24 May 2017 08:29:33 +0200","biburl":"https://dblp.org/rec/bib/conf/cwords/MousaviS15","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cwords/MousaviS15,\n author = {Hamoon Mousavi and\n Jeffrey Shallit},\n title = {Mechanical Proofs of Properties of the Tribonacci Word},\n booktitle = {Combinatorics on Words - 10th International Conference, {WORDS} 2015,\n Kiel, Germany, September 14-17, 2015, Proceedings},\n pages = {170--190},\n year = {2015},\n crossref = {DBLP:conf/cwords/2015},\n url = {https://doi.org/10.1007/978-3-319-23660-5\\_15},\n doi = {10.1007/978-3-319-23660-5\\_15},\n timestamp = {Wed, 24 May 2017 08:29:33 +0200},\n biburl = {https://dblp.org/rec/bib/conf/cwords/MousaviS15},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Mousavi, H.","Shallit, J."],"key":"DBLP:conf/cwords/MousaviS15","id":"DBLP:conf/cwords/MousaviS15","bibbaseid":"mousavi-shallit-mechanicalproofsofpropertiesofthetribonacciword-2015","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-23660-5_15"},"downloads":0},"search_terms":["mechanical","proofs","properties","tribonacci","word","mousavi","shallit"],"keywords":[],"authorIDs":[],"dataSources":["9bkAHJfQLTCifmTcG"]}