equal
deleted
inserted
replaced
|
1 @article{Gasarch09, |
|
2 author = {S.~A.~Fenner and W.~I.~Gasarch and B.~Postow}, |
|
3 title = {{T}he {C}omplexity of {F}inding {SUBSEQ(A)}}, |
|
4 journal = {Theory Computing Systems}, |
|
5 volume = {45}, |
|
6 number = {3}, |
|
7 year = {2009}, |
|
8 pages = {577-612} |
|
9 } |
|
10 |
|
11 @Book{Shallit08, |
|
12 author = {J.~Shallit}, |
|
13 title = {{A} {S}econd {C}ourse in {F}ormal {L}anguages and {A}utomata {T}heory}, |
|
14 publisher = {Cambridge University Press}, |
|
15 year = {2008} |
|
16 } |
|
17 |
|
18 @Unpublished{Rosenberg06, |
|
19 author = {A.~L.~Rosenberg}, |
|
20 title = {{A} {B}ig {I}deas {A}pproach to the {T}heory of {C}omputation}, |
|
21 note = {Course notes for CMPSCI 401 at the University of Massachusetts}, |
|
22 year = {2006} |
|
23 } |
1 |
24 |
2 @incollection{myhillnerodeafp11, |
25 @incollection{myhillnerodeafp11, |
3 author = {C.~Wu and X.~Zhang and C.~Urban}, |
26 author = {C.~Wu and X.~Zhang and C.~Urban}, |
4 title = {{T}he {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
27 title = {{T}he {M}yhill-{N}erode {T}heorem based on {R}egular {E}xpressions}, |
5 booktitle = {The Archive of Formal Proofs}, |
28 booktitle = {The Archive of Formal Proofs}, |