Automatic Theorem-Proving in Combinatorics on Words. Goc, D., Henshall, D., & Shallit, J. Int. J. Found. Comput. Sci., 24(6):781–798, 2013.
Paper doi bibtex @article{DBLP:journals/ijfcs/GocHS13,
author = {Daniel Goc and
Dane Henshall and
Jeffrey Shallit},
title = {Automatic Theorem-Proving in Combinatorics on Words},
journal = {Int. J. Found. Comput. Sci.},
volume = {24},
number = {6},
pages = {781--798},
year = {2013},
url = {https://doi.org/10.1142/S0129054113400182},
doi = {10.1142/S0129054113400182},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/bib/journals/ijfcs/GocHS13},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"7n6h2L62AgiNFhHPh","bibbaseid":"goc-henshall-shallit-automatictheoremprovingincombinatoricsonwords-2013","downloads":0,"creationDate":"2019-01-08T11:55:07.518Z","title":"Automatic Theorem-Proving in Combinatorics on Words","author_short":["Goc, D.","Henshall, D.","Shallit, J."],"year":2013,"bibtype":"article","biburl":"https://dblp.org/pid/s/JeffreyShallit.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Daniel"],"propositions":[],"lastnames":["Goc"],"suffixes":[]},{"firstnames":["Dane"],"propositions":[],"lastnames":["Henshall"],"suffixes":[]},{"firstnames":["Jeffrey"],"propositions":[],"lastnames":["Shallit"],"suffixes":[]}],"title":"Automatic Theorem-Proving in Combinatorics on Words","journal":"Int. J. Found. Comput. Sci.","volume":"24","number":"6","pages":"781–798","year":"2013","url":"https://doi.org/10.1142/S0129054113400182","doi":"10.1142/S0129054113400182","timestamp":"Sat, 27 May 2017 01:00:00 +0200","biburl":"https://dblp.org/rec/bib/journals/ijfcs/GocHS13","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/ijfcs/GocHS13,\n author = {Daniel Goc and\n Dane Henshall and\n Jeffrey Shallit},\n title = {Automatic Theorem-Proving in Combinatorics on Words},\n journal = {Int. J. Found. Comput. Sci.},\n volume = {24},\n number = {6},\n pages = {781--798},\n year = {2013},\n url = {https://doi.org/10.1142/S0129054113400182},\n doi = {10.1142/S0129054113400182},\n timestamp = {Sat, 27 May 2017 01:00:00 +0200},\n biburl = {https://dblp.org/rec/bib/journals/ijfcs/GocHS13},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Goc, D.","Henshall, D.","Shallit, J."],"key":"DBLP:journals/ijfcs/GocHS13","id":"DBLP:journals/ijfcs/GocHS13","bibbaseid":"goc-henshall-shallit-automatictheoremprovingincombinatoricsonwords-2013","role":"author","urls":{"Paper":"https://doi.org/10.1142/S0129054113400182"},"downloads":0},"search_terms":["automatic","theorem","proving","combinatorics","words","goc","henshall","shallit"],"keywords":[],"authorIDs":[],"dataSources":["9bkAHJfQLTCifmTcG"]}