Journal/document/root.bib
changeset 233 e2dc11e12e0b
parent 232 114064363ef0
child 239 13de6a49294e
equal deleted inserted replaced
232:114064363ef0 233:e2dc11e12e0b
       
     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},