Automatic Theorem-Proving in Combinatorics on Words - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Daniel Goc, Dane Henshall, Jeffrey Shallit. Automatic Theorem-Proving in Combinatorics on Words. In Nelma Moreira, Rogério Reis, editors, Implementation and Application of Automata - 17th International Conference, CIAA 2012, Porto, Portugal, July 17-20, 2012. Proceedings. Volume 7381 of Lecture Notes in Computer Science, pages 180-191, Springer, 2012. [doi]

This author has not been identified. Look up 'Daniel Goc' in GoogleThis author has not been identified. Look up 'Dane Henshall' in GoogleThis author has not been identified. Look up 'Jeffrey Shallit' in Google

runs on WebDSL