Dane Henshall
Identifiers
- name variant Dane Henshall 0.60 · backfill
Papers (1)
- Automatic Theorem-Proving in Combinatorics on Words cs.FL · 2012 · author #1
Mentions
- 1203.3758 #1 · backfill · confidence 0.70 Dane Henshall
Frequent Coauthors
- Jeffrey Shallit 1 shared papers