TY  - RPRT
TI  - Deciding Regularity of Hairpin Completions of Regular Languages in Polynomial Time
AU  - Volker Diekert
AU  - Steffen Kopecki
AU  - Victor Mitrana
PY  - 2011
UR  - https://arxiv.org/abs/1108.2427
ID  - 1108.2427
ER  -